Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | MSAT (TO) | 3600.35 | 3580.77 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo |
| MD5SUM | 5a94344981bc483c9b9ebb20deadafce |
| 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 | 0.112959 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2550 |
| Total number of constraints | 101 |
| Number of soft constraints | 30 |
| Number of constraints which are clauses | 51 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 51 |
| Top cost | 1659 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1658 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 52 |
| Number of bits of the biggest sum of numbers | 6 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.10 c Free memory 2104792832 0.00/0.10 c Max memory 16282288128 0.00/0.10 c Total memory 2113929216 0.00/0.10 c Number of processors 2 0.11/0.14 c Pseudo Boolean Optimization by upper bound 0.11/0.14 c --- Begin Solver configuration --- 0.11/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.11/0.14 c Learn all clauses as in MiniSAT 0.11/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.14 c Expensive reason simplification 0.11/0.14 c Glucose 2.1 dynamic restart strategy 0.11/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.14 c timeout=2147483s 0.11/0.14 c DB Simplification allowed=false 0.11/0.14 c Listener: none 0.11/0.14 c --- End Solver configuration --- 0.11/0.14 c solving HOME/instance-4525172-1751620535.wbo 0.11/0.14 c reading problem ... 0.11/0.19 c ... done. Wall clock time 0.053s. 0.11/0.19 c declared #vars 2550 0.11/0.20 c internal #vars 2580 0.11/0.20 c #constraints 102 0.11/0.20 c constraints type 0.11/0.20 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 34 0.11/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16 0.11/0.20 c org.sat4j.specs.Constr$1 => 1 0.11/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 0.11/0.20 c 102 constraints processed. 0.29/0.21 c objective function length is 30 literals 2.29/1.69 c cleaning 2494 clauses out of 5000 with flag 31998/5000 4.63/3.81 c cleaning 4252 clauses out of 8508 with flag 70008/11002 5.34/4.54 c SATISFIABLE 5.34/4.54 c OPTIMIZING... 5.34/4.54 c Got one! Elapsed wall clock time (in seconds):4.409 5.34/4.55 o 14 5.99/4.91 c Got one! Elapsed wall clock time (in seconds):4.776 5.99/4.91 o 1 6.22/5.13 c cleaning 4834 clauses out of 9704 with flag 5120/16450 7.42/6.36 c cleaning 5400 clauses out of 10872 with flag 42203/22452 9.12/8.00 c cleaning 6206 clauses out of 12468 with flag 89109/29448 11.56/10.37 c cleaning 7121 clauses out of 14262 with flag 140852/37448 13.82/12.56 c cleaning 8029 clauses out of 16143 with flag 199720/46450 16.22/14.92 c cleaning 9001 clauses out of 18112 with flag 267178/56448 19.25/17.98 c cleaning 10023 clauses out of 20112 with flag 340842/67449 22.81/21.48 c cleaning 11008 clauses out of 22088 with flag 430095/79448 26.68/25.23 c cleaning 12009 clauses out of 24080 with flag 533430/92448 31.64/30.13 c cleaning 13004 clauses out of 26072 with flag 655349/106449 37.59/36.04 c cleaning 14002 clauses out of 28067 with flag 794650/121448 44.49/42.81 c cleaning 15003 clauses out of 30065 with flag 938025/137448 53.54/51.80 c cleaning 15994 clauses out of 32062 with flag 1088089/154448 63.17/61.43 c cleaning 16999 clauses out of 34070 with flag 1252492/172450 71.59/69.76 c cleaning 18003 clauses out of 36069 with flag 1419414/191448 76.33/74.48 c cleaning 18991 clauses out of 38067 with flag 1548778/211449 86.37/84.19 c cleaning 20001 clauses out of 40077 with flag 1698489/232450 98.22/95.90 c cleaning 20988 clauses out of 42074 with flag 1870917/254448 108.26/105.97 c cleaning 22002 clauses out of 44086 with flag 2061739/277448 119.00/116.66 c cleaning 23000 clauses out of 46085 with flag 2276841/301449 132.09/129.61 c cleaning 24005 clauses out of 48086 with flag 2513688/326450 144.51/141.98 c cleaning 25005 clauses out of 50079 with flag 2758516/352448 152.56/149.62 c cleaning 25999 clauses out of 52075 with flag 2942896/379449 167.79/164.85 c cleaning 27005 clauses out of 54077 with flag 3135032/407450 178.14/175.06 c cleaning 27973 clauses out of 56070 with flag 3331156/436448 187.01/183.95 c cleaning 28971 clauses out of 58098 with flag 3529463/466449 205.84/202.62 c cleaning 29986 clauses out of 60127 with flag 3783348/497449 216.21/212.82 c cleaning 31043 clauses out of 62141 with flag 3999437/529449 229.66/226.10 c cleaning 32028 clauses out of 64097 with flag 4225398/562448 239.82/236.14 c cleaning 33022 clauses out of 66069 with flag 4453779/596448 251.84/247.79 c cleaning 33989 clauses out of 68047 with flag 4680861/631448 277.47/273.34 c cleaning 34992 clauses out of 70060 with flag 4938289/667450 296.71/292.44 c cleaning 36010 clauses out of 72070 with flag 5212420/704452 328.60/324.27 c cleaning 37001 clauses out of 74056 with flag 5471661/742448 363.70/359.23 c cleaning 38003 clauses out of 76055 with flag 5757182/781448 392.79/388.01 c cleaning 39000 clauses out of 78052 with flag 6039479/821448 406.52/401.60 c cleaning 39981 clauses out of 80052 with flag 6288552/862448 421.56/416.14 c cleaning 41016 clauses out of 82073 with flag 6542625/904450 440.41/434.99 c cleaning 42002 clauses out of 84060 with flag 6867773/947453 483.99/478.21 c cleaning 43006 clauses out of 86057 with flag 7228870/991452 521.10/515.24 c cleaning 44004 clauses out of 88048 with flag 7613970/1036449 559.30/553.35 c cleaning 44999 clauses out of 90043 with flag 8006738/1082448 610.56/604.35 c cleaning 45996 clauses out of 92044 with flag 8388764/1129448 648.20/641.15 c cleaning 46991 clauses out of 94048 with flag 8801573/1177448 665.07/657.95 c cleaning 47985 clauses out of 96057 with flag 9107252/1226448 683.00/675.78 c cleaning 49018 clauses out of 98075 with flag 9413311/1276451 703.10/695.73 c cleaning 50001 clauses out of 100054 with flag 9726494/1327448 721.44/713.99 c cleaning 51009 clauses out of 102054 with flag 10049699/1379449 741.84/734.00 c cleaning 51988 clauses out of 104045 with flag 10387180/1432449 760.96/753.04 c cleaning 53011 clauses out of 106056 with flag 10712929/1486448 804.06/795.95 c cleaning 53989 clauses out of 108047 with flag 11058666/1541450 860.88/852.74 c cleaning 54991 clauses out of 110058 with flag 11467691/1597450 911.42/903.03 c cleaning 55994 clauses out of 112065 with flag 11894514/1654448 967.85/958.75 c cleaning 57004 clauses out of 114072 with flag 12360642/1712449 1031.90/1022.71 c cleaning 58005 clauses out of 116068 with flag 12846187/1771449 1087.94/1078.53 c cleaning 58999 clauses out of 118064 with flag 13336212/1831450 1151.68/1142.26 c cleaning 60004 clauses out of 120066 with flag 13814083/1892451 1219.19/1209.52 c cleaning 60997 clauses out of 122059 with flag 14300605/1954448 1291.30/1281.55 c cleaning 61997 clauses out of 124062 with flag 14814848/2017448 1360.99/1351.04 c cleaning 63003 clauses out of 126068 with flag 15303850/2081451 1440.96/1430.83 c cleaning 64000 clauses out of 128064 with flag 15799334/2146450 1517.26/1506.94 c cleaning 65000 clauses out of 130065 with flag 16249530/2212451 1598.89/1587.34 c cleaning 65996 clauses out of 132064 with flag 16743111/2279450 1639.29/1627.60 c cleaning 66996 clauses out of 134066 with flag 17189324/2347448 1670.55/1658.74 c cleaning 68031 clauses out of 136073 with flag 17581267/2416451 1701.38/1689.40 c cleaning 69000 clauses out of 138039 with flag 17992154/2486448 1731.90/1719.89 c cleaning 70007 clauses out of 140039 with flag 18395559/2557448 1768.74/1756.30 c cleaning 70995 clauses out of 142034 with flag 18849635/2629450 1817.26/1804.78 c cleaning 72009 clauses out of 144038 with flag 19300744/2702449 1854.81/1842.12 c cleaning 72994 clauses out of 146029 with flag 19767877/2776449 1887.86/1875.06 c cleaning 73997 clauses out of 148034 with flag 20202122/2851448 1924.36/1911.20 c cleaning 75008 clauses out of 150038 with flag 20619113/2927449 1958.88/1945.68 c cleaning 75992 clauses out of 152032 with flag 21046451/3004451 1994.41/1980.97 c cleaning 76990 clauses out of 154037 with flag 21489318/3082448 2066.53/2052.85 c cleaning 77992 clauses out of 156048 with flag 22032815/3161449 2103.89/2090.05 c cleaning 79000 clauses out of 158056 with flag 22501528/3241449 2143.48/2129.55 c cleaning 79998 clauses out of 160056 with flag 22975752/3322449 2210.77/2196.50 c cleaning 81009 clauses out of 162057 with flag 23489955/3404448 2252.80/2238.47 c cleaning 82006 clauses out of 164049 with flag 24053117/3487449 2294.90/2279.63 c cleaning 82999 clauses out of 166042 with flag 24527319/3571448 2335.54/2320.29 c cleaning 83991 clauses out of 168043 with flag 25006855/3656448 2381.01/2365.64 c cleaning 85010 clauses out of 170053 with flag 25477231/3742449 2426.35/2410.68 c cleaning 85998 clauses out of 172042 with flag 25963758/3829448 2472.71/2456.84 c cleaning 87010 clauses out of 174045 with flag 26441886/3917449 2516.39/2500.30 c cleaning 88006 clauses out of 176034 with flag 26947178/4006448 2564.55/2548.35 c cleaning 88996 clauses out of 178028 with flag 27436271/4096448 2609.19/2592.82 c cleaning 90002 clauses out of 180032 with flag 27960387/4187448 2656.59/2640.17 c cleaning 90996 clauses out of 182030 with flag 28463231/4279448 2706.14/2689.64 c cleaning 92002 clauses out of 184034 with flag 28974926/4372448 2757.61/2741.03 c cleaning 92993 clauses out of 186032 with flag 29494278/4466448 2804.14/2787.52 c cleaning 94012 clauses out of 188040 with flag 30034631/4561449 2856.74/2839.84 c cleaning 94997 clauses out of 190027 with flag 30571151/4657448 2911.96/2894.91 c cleaning 95993 clauses out of 192031 with flag 31106657/4754449 2966.15/2949.04 c cleaning 97000 clauses out of 194038 with flag 31664953/4852449 3020.80/3003.63 c cleaning 98009 clauses out of 196037 with flag 32207358/4951448 3074.83/3057.66 c cleaning 99006 clauses out of 198029 with flag 32768278/5051449 3126.87/3109.25 c cleaning 99988 clauses out of 200024 with flag 33348067/5152450 3181.27/3163.59 c cleaning 101005 clauses out of 202034 with flag 33922979/5254448 3236.50/3218.71 c cleaning 101995 clauses out of 204029 with flag 34492133/5357448 3293.01/3274.93 c cleaning 103003 clauses out of 206035 with flag 35104428/5461449 3346.83/3328.63 c cleaning 103994 clauses out of 208033 with flag 35704275/5566450 3402.80/3384.53 c cleaning 105007 clauses out of 210038 with flag 36309307/5672449 3457.62/3438.57 c cleaning 106001 clauses out of 212030 with flag 36950389/5779448 3516.82/3497.66 c cleaning 106996 clauses out of 214029 with flag 37562408/5887448 3574.41/3555.17 c cleaning 107999 clauses out of 216035 with flag 38196895/5996450 3600.06/3580.61 c starts : 35867 3600.06/3580.63 c conflicts : 6050745 3600.06/3580.63 c decisions : 58273155 3600.06/3580.63 c propagations : 220771529 3600.06/3580.63 c inspects : 20754369582 3600.06/3580.63 c shortcuts : 0 3600.06/3580.63 c learnt literals : 0 3600.06/3580.63 c learnt binary clauses : 0 3600.06/3580.63 c learnt ternary clauses : 0 3600.06/3580.63 c learnt constraints : 6050745 3600.06/3580.63 c ignored constraints : 0 3600.06/3580.63 c root simplifications : 0 3600.06/3580.63 c removed literals (reason simplification) : 21450816 3600.06/3580.63 c reason swapping (by a shorter reason) : 0 3600.06/3580.63 c Calls to reduceDB : 107 3600.06/3580.63 c Number of update (reduction) of LBD : 3296975 3600.06/3580.63 c Imported unit clauses : 0 3600.06/3580.63 c No decision after first conflict : false 3600.06/3580.63 c number of reductions to clauses (during analyze) : 0 3600.06/3580.63 c number of learned constraints concerned by reduction : 0 3600.06/3580.63 c number of learning phase by resolution : 0 3600.06/3580.63 c number of learning phase by cutting planes : 0 3600.06/3580.63 c number of rounding to 1 operations : 0 3600.06/3580.63 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3580.63 c number of reductions of the coefficients by power 2 : 0 3600.06/3580.63 c number of right shift for reduction by power 2 : 0 3600.06/3580.63 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3580.63 c number of ending skipping : 0 3600.06/3580.63 c number of internal skipping : 0 3600.06/3580.63 c number of derivation steps : 0 3600.06/3580.63 c number of skipped derivation steps : 0 3600.06/3580.63 c number of remaining unassigned : 0 3600.06/3580.63 c number of remaining assigned : 0 3600.06/3580.63 c number of falsified literals weakened from reason : 0 3600.06/3580.63 c number of falsified literals weakened from conflict : 0 3600.06/3580.63 c time for arithmetic operations : 0 3600.06/3580.64 c minimum degree of deleted constraints : null 3600.06/3580.64 c maximum degree of deleted constraints : null 3600.06/3580.64 c number of deleted constraints : 0 3600.06/3580.65 c speed (assignments/second) : 61660.70480459722 3600.06/3580.65 c non guided choices : 373783 3600.25/3580.71 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 162331 3600.25/3580.71 s SATISFIABLE 3600.25/3580.71 c Found 2 solution(s) 3600.25/3580.73 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 3600.25/3580.73 c objective function=1 3600.25/3580.73 c Total wall clock time (in seconds): 3580.594
OK 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60515 MiB free)
memory of node 1: 64507 MiB (53601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525172-1751620535/watcher-4525172-1751620535 -o /tmp/evaluation-result-4525172-1751620535/solver-4525172-1751620535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751620534-98176 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525172-1751620535.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=98226, runsolver pid=98217
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.98 1.69 3.12 8/335 98304
/proc/meminfo: memFree=116758592/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=18930384 memory=55240 CPUtime=0.11 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 6476 0 0 0 9 2 0 0 20 0 18 0 77731373 19384713216 13810 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4732596 13810 5329 1 0 547557 0
[pid=98226/tid=98237] ppid=98217 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 5021 0 0 0 5 1 0 0 20 0 18 0 77731375 19384713216 13810 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77731377 19384713216 13810 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77731378 19384713216 13810 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55240 KiB
[startup+0.205649 s]*
/proc/loadavg: 0.98 1.69 3.12 13/336 98305
/proc/meminfo: memFree=116730300/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=18930384 memory=64116 CPUtime=0.29 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 7067 0 0 0 27 2 0 0 20 0 18 0 77731373 19384713216 16029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4732596 16029 5457 1 0 547962 0
[pid=98226/tid=98237] ppid=98217 vsize=18930384 memory=4026794268 CPUtime=0.14 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 5338 0 0 0 13 1 0 0 20 0 18 0 77731375 19384713216 16029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77731377 19384713216 16029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77731378 19384713216 16029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64116 KiB
[startup+0.30541 s]*
/proc/loadavg: 0.98 1.69 3.12 11/339 98308
/proc/meminfo: memFree=116701128/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=18996948 memory=69692 CPUtime=0.49 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 8822 0 0 0 46 3 0 0 20 0 19 0 77731373 19452874752 17423 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4749237 17423 5489 1 0 548970 0
[pid=98226/tid=98237] ppid=98217 vsize=18996948 memory=-6000919494231876710 CPUtime=0.24 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 5407 0 0 0 23 1 0 0 20 0 19 0 77731375 19452874752 17423 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731377 19452874752 17423 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77731378 19452874752 17423 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731395 19452874752 17423 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69692 KiB
[startup+0.700209 s]
/proc/loadavg: 0.98 1.69 3.12 9/339 98308
/proc/meminfo: memFree=116670444/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=18996948 memory=83732 CPUtime=1.23 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 10907 0 0 0 120 3 0 0 20 0 19 0 77731373 19452874752 20933 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4749237 20933 5489 1 0 550311 0
[pid=98226/tid=98237] ppid=98217 vsize=18996948 memory=18944 CPUtime=0.62 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 5457 0 0 0 60 2 0 0 20 0 19 0 77731375 19452874752 20933 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731377 19452874752 20933 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77731378 19452874752 20933 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=18996948 memory=4756 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731395 19452874752 20933 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83732 KiB
[startup+1.50019 s]
/proc/loadavg: 0.98 1.69 3.12 7/339 98308
/proc/meminfo: memFree=116627848/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=18996948 memory=96116 CPUtime=2.11 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 13112 0 0 0 207 4 0 0 20 0 19 0 77731373 19452874752 24029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4749237 24029 5489 1 0 550314 0
[pid=98226/tid=98237] ppid=98217 vsize=18996948 memory=0 CPUtime=1.41 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 5636 0 0 0 139 2 0 0 20 0 19 0 77731375 19452874752 24029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731377 19452874752 24029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77731378 19452874752 24029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=18996948 memory=4756 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731395 19452874752 24029 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96116 KiB
[startup+3.10517 s]
/proc/loadavg: 1.38 1.76 3.13 5/339 98308
/proc/meminfo: memFree=116505816/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=18996948 memory=124532 CPUtime=3.94 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 16183 0 0 0 388 6 0 0 20 0 19 0 77731373 19452874752 31133 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4749237 31133 5489 1 0 550685 0
[pid=98226/tid=98237] ppid=98217 vsize=18996948 memory=10752 CPUtime=3 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 6682 0 0 0 297 3 0 0 20 0 19 0 77731375 19452874752 31133 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=18996948 memory=-6000919477068784742 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731377 19452874752 31133 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77731378 19452874752 31133 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731395 19452874752 31133 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124532 KiB
[startup+6.30019 s]
/proc/loadavg: 1.38 1.76 3.13 5/341 98310
/proc/meminfo: memFree=116316560/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=205320 CPUtime=7.42 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 22951 0 0 0 733 9 0 0 20 0 20 0 77731373 19521036288 51330 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 51330 5521 1 0 551018 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=0 CPUtime=6.15 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 8711 0 0 0 611 4 0 0 20 0 20 0 77731375 19521036288 51330 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 51330 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 51330 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=98752 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 51330 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 7.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205320 KiB
[startup+12.7002 s]
/proc/loadavg: 1.79 1.83 3.14 5/342 98311
/proc/meminfo: memFree=116128232/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=320896 CPUtime=14.02 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 23859 0 0 0 1389 13 0 0 20 0 20 0 77731373 19521036288 80224 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 80224 5521 1 0 551142 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=98752 CPUtime=12.43 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 9200 0 0 0 1239 4 0 0 20 0 20 0 77731375 19521036288 80224 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=251176 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 80224 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=308237 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 80224 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 80224 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 14.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 320896 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.91 3.15 5/343 98312
/proc/meminfo: memFree=115395056/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=525912 CPUtime=26.98 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 27097 0 0 0 2680 18 0 0 20 0 20 0 77731373 19521036288 131478 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 131478 5553 1 0 551142 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=448012 CPUtime=25.01 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 10031 0 0 0 2497 4 0 0 20 0 20 0 77731375 19521036288 131478 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=448012 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 131478 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 131478 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 131478 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 26.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 525912 KiB
[startup+51.1057 s]
/proc/loadavg: 2.82 2.09 3.18 5/343 98313
/proc/meminfo: memFree=114555180/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=847580 CPUtime=52.85 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 28690 0 0 0 5258 27 0 0 20 0 20 0 77731373 19521036288 211895 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 211895 5553 1 0 551142 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=689800 CPUtime=50.28 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 10070 0 0 0 5023 5 0 0 20 0 20 0 77731375 19521036288 211895 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=0 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/341 98562
/proc/meminfo: memFree=90342356/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=7785376 CPUtime=3240.09 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 190185 0 0 0 323751 258 0 0 20 0 20 0 77731373 19521036288 1946344 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 1946344 5553 1 0 2355195 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=5632 CPUtime=3192.92 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 90856 0 0 0 319222 70 0 0 20 0 20 0 77731375 19521036288 1946344 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=7785376 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 1946344 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 2209 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 1946344 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 1946344 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3240.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7785376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/340 98565
/proc/meminfo: memFree=90026484/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=8090532 CPUtime=3300.39 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 194231 0 0 0 329774 265 0 0 20 0 20 0 77731373 19521036288 2022633 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 2022633 5553 1 0 2355195 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=8090532 CPUtime=3252.24 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 93875 0 0 0 325153 71 0 0 20 0 20 0 77731375 19521036288 2022633 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=7785376 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 2022633 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 2209 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 2022633 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=7785376 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 2022633 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3300.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8090532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/340 98567
/proc/meminfo: memFree=89702864/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=8407972 CPUtime=3360.49 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 198645 0 0 0 335776 273 0 0 20 0 20 0 77731373 19521036288 2101993 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 2101993 5553 1 0 2355195 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=8407972 CPUtime=3311.76 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 97168 0 0 0 331104 72 0 0 20 0 20 0 77731375 19521036288 2101993 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 2101993 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=8407972 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 2329 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 2101993 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 2101993 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3360.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8407972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/340 98572
/proc/meminfo: memFree=89162756/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=8943308 CPUtime=3421.51 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 207787 0 0 0 341863 288 0 0 20 0 20 0 77731373 19521036288 2235827 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 2235827 5553 1 0 3176666 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=14844 CPUtime=3371.2 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 101473 0 0 0 337045 75 0 0 20 0 20 0 77731375 19521036288 2235827 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 2235827 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 2451 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 2235827 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=8918732 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 2235827 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3421.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8943308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 98574
/proc/meminfo: memFree=88615276/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=9479892 CPUtime=3481.61 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 211090 0 0 0 347861 300 0 0 20 0 20 0 77731373 19521036288 2369973 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 2369973 5553 1 0 3176666 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=9479892 CPUtime=3430.77 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 104495 0 0 0 342994 83 0 0 20 0 20 0 77731375 19521036288 2369973 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 2369973 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=21952 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 2452 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 2369973 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 2369973 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3481.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9479892 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/340 98576
/proc/meminfo: memFree=88369256/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=9545488 CPUtime=3541.67 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 216271 0 0 0 353864 303 0 0 20 0 20 0 77731373 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 2386372 5553 1 0 3176681 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=9344724 CPUtime=3490.38 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 108314 0 0 0 348954 84 0 0 20 0 20 0 77731375 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=9545488 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=9545488 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 2574 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=9545488 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3541.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9545488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3580.6 s]
/proc/loadavg: 4.23 4.13 4.10 5/340 98650
/proc/meminfo: memFree=100043752/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19063512 memory=9545488 CPUtime=3600.06 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 220810 0 0 0 359700 306 0 0 20 0 20 0 77731373 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4765878 2386372 5553 1 0 3176685 0
[pid=98226/tid=98237] ppid=98217 vsize=19063512 memory=-6000919477068784742 CPUtime=3548.26 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 111520 0 0 0 354740 86 0 0 20 0 20 0 77731375 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19063512 memory=9545488 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731377 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19063512 memory=11857368 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 2696 0 0 0 0 0 0 0 20 0 20 0 77731378 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98307] ppid=98217 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/98226/task/98307/stat : 98307 (Timer-0) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731395 19521036288 2386372 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9545488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3580.77 s]
# the end of solver process 98226 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.25 s, system=3.09694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3580.7 s]
/proc/loadavg: 4.23 4.13 4.10 5/340 98650
/proc/meminfo: memFree=100043752/131249996 swapFree=33010684/33010684
[pid=98226] ppid=98217 vsize=19263204 memory=9546384 CPUtime=3600.25 cores=0,2
/proc/98226/stat : 98226 (java) S 98217 98226 98166 0 -1 4194304 222832 0 0 0 359719 306 0 0 20 0 21 0 77731373 19725520896 2386596 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
/proc/98226/statm: 4815801 2386596 5585 1 0 3177627 0
[pid=98226/tid=98237] ppid=98217 vsize=19263204 memory=9545488 CPUtime=3548.35 cores=0,2
/proc/98226/task/98237/stat : 98237 (java) R 98217 98226 98166 0 -1 4194368 111666 0 0 0 354749 86 0 0 20 0 21 0 77731375 19725520896 2386596 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98266] ppid=98217 vsize=19263204 memory=18944 CPUtime=0 cores=0,2
/proc/98226/task/98266/stat : 98266 (Finalizer) S 98217 98226 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77731377 19725520896 2386596 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
[pid=98226/tid=98280] ppid=98217 vsize=19263204 memory=-6000919477068784742 CPUtime=0 cores=0,2
/proc/98226/task/98280/stat : 98280 (Common-Cleaner) S 98217 98226 98166 0 -1 4194368 2696 0 0 0 0 0 0 0 20 0 21 0 77731378 19725520896 2386596 18446744073709551615 94452734402560 94452734406256 140732847912704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94452734414072 94452734414864 94452736798720 140732847917439 140732847917540 140732847917540 140732847923144 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 9546384 KiB
Child status: 143
Real time (s): 3580.77
CPU time (s): 3600.35
CPU user time (s): 3597.25
CPU system time (s): 3.09694
CPU usage (%): 100.547
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 9546384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.25
system time used= 3.09694
maximum resident set size= 9546512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111480
involuntary context switches= 10806
# summary of solver processes directly reported to runsolver:
# pid: 98226
# total CPU time (s): 3600.35
# total CPU user time (s): 3597.25
# total CPU system time (s): 3.09694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54868 second user time and 16.8461 second system time
The end
Begin job on nodeC024 at 2025-07-04 11:15:35 IDJOB=4525172 IDBENCH=143496 IDSOLVER=3380 FILE ID=nodeC024/4525172-1751620535 RUNJOBID= nodeC024-1751620534-98176 SLURM_JOB_ID= 9598939 Free space on /tmp= 432360 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525172-1751620535/watcher-4525172-1751620535 -o /tmp/evaluation-result-4525172-1751620535/solver-4525172-1751620535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751620534-98176 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525172-1751620535.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5a94344981bc483c9b9ebb20deadafce RANDOM SEED=168169460 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.660 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2821.335 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.787 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2092.627 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3598.965 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1405.889 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.706 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2697.474 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 116861292 kB MemAvailable: 129719568 kB Buffers: 2144 kB Cached: 13624284 kB SwapCached: 0 kB Active: 642024 kB Inactive: 13049904 kB Active(anon): 81480 kB Inactive(anon): 2084 kB Active(file): 560544 kB Inactive(file): 13047820 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1296 kB Writeback: 4 kB AnonPages: 66496 kB Mapped: 103716 kB Shmem: 18064 kB KReclaimable: 177900 kB Slab: 270172 kB SReclaimable: 177900 kB SUnreclaim: 92272 kB KernelStack: 4020 kB PageTables: 2728 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 338524 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432356 MiB End job on nodeC024 at 2025-07-04 12:15:16