Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | -20 | 3600.42 | 3537.52 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb |
| MD5SUM | 95a025abd93d3c3a131defec0604d084 |
| 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 | -20 |
| Best CPU time to get the best result obtained on this benchmark | 0.039326 |
| 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 | 820 |
| Total number of constraints | 270 |
| Number of constraints which are clauses | 220 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 20 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 600 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 600 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 20 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 600 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.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.09 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.10/0.10 c Number of processors 2 0.10/0.14 c Pseudo Boolean Optimization by upper bound 0.10/0.14 c --- Begin Solver configuration --- 0.10/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.10/0.14 c Learn all clauses as in MiniSAT 0.10/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.14 c Expensive reason simplification 0.10/0.14 c Glucose 2.1 dynamic restart strategy 0.10/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.10/0.14 c timeout=2147483s 0.10/0.14 c DB Simplification allowed=false 0.10/0.14 c Listener: none 0.10/0.14 c --- End Solver configuration --- 0.10/0.14 c solving HOME/instance-4519936-1751565552.opb 0.10/0.14 c reading problem ... 0.10/0.14 c objective function found 0.10/0.18 c ... done. Wall clock time 0.041s. 0.10/0.18 c declared #vars 820 0.10/0.18 c #constraints 270 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 220 0.10/0.18 c 270 constraints processed. 0.10/0.19 c objective function length is 600 literals 0.31/0.29 c SATISFIABLE 0.31/0.29 c OPTIMIZING... 0.31/0.29 c Got one! Elapsed wall clock time (in seconds):0.148 0.31/0.29 o -19 0.49/0.34 c Got one! Elapsed wall clock time (in seconds):0.201 0.49/0.34 o -20 1.92/1.18 c cleaning 2842 clauses out of 5685 with flag 13335/5685 3.10/2.17 c cleaning 4422 clauses out of 8843 with flag 29133/11685 4.49/3.47 c cleaning 5710 clauses out of 11421 with flag 46877/18685 5.86/4.77 c cleaning 6853 clauses out of 13710 with flag 67945/26684 7.45/6.20 c cleaning 7929 clauses out of 15857 with flag 92271/35684 9.34/8.06 c cleaning 8963 clauses out of 17928 with flag 117909/45684 12.23/10.84 c cleaning 9983 clauses out of 19965 with flag 148458/56684 15.23/13.62 c cleaning 10986 clauses out of 21982 with flag 182198/68684 18.33/16.64 c cleaning 11994 clauses out of 23996 with flag 217828/81684 21.65/19.86 c cleaning 13002 clauses out of 26003 with flag 255515/95685 24.87/22.95 c cleaning 14001 clauses out of 28001 with flag 295038/110685 28.91/26.81 c cleaning 14999 clauses out of 29999 with flag 340856/126684 32.96/30.72 c cleaning 15999 clauses out of 32000 with flag 387368/143684 37.45/35.17 c cleaning 16995 clauses out of 34001 with flag 435275/161684 42.43/39.82 c cleaning 18004 clauses out of 36007 with flag 485667/180685 47.75/45.04 c cleaning 18998 clauses out of 38003 with flag 543573/200685 53.37/50.04 c cleaning 19998 clauses out of 40004 with flag 601832/221684 59.56/56.03 c cleaning 21004 clauses out of 42008 with flag 666117/243686 65.55/61.94 c cleaning 22002 clauses out of 44003 with flag 732921/266685 71.86/68.07 c cleaning 22998 clauses out of 46001 with flag 801054/290685 76.95/73.04 c cleaning 23997 clauses out of 48002 with flag 874440/315684 82.76/78.59 c cleaning 25003 clauses out of 50006 with flag 942233/341685 88.94/84.45 c cleaning 25997 clauses out of 52004 with flag 1007172/368686 94.46/89.83 c cleaning 27002 clauses out of 54006 with flag 1072803/396685 102.11/96.69 c cleaning 28001 clauses out of 56004 with flag 1148075/425685 109.45/103.89 c cleaning 28993 clauses out of 58002 with flag 1230517/455684 119.54/113.85 c cleaning 30004 clauses out of 60011 with flag 1313474/486686 127.53/121.41 c cleaning 31005 clauses out of 62009 with flag 1399794/518688 136.23/129.86 c cleaning 32001 clauses out of 64001 with flag 1494179/551685 144.99/138.43 c cleaning 33000 clauses out of 66000 with flag 1590104/585685 156.77/149.23 c cleaning 33995 clauses out of 67999 with flag 1689606/620684 169.15/161.20 c cleaning 34999 clauses out of 70005 with flag 1786654/656685 187.63/179.40 c cleaning 35998 clauses out of 72005 with flag 1882327/693684 200.16/191.62 c cleaning 37003 clauses out of 74007 with flag 1978616/731684 210.67/201.80 c cleaning 37999 clauses out of 76005 with flag 2077237/770685 223.68/214.58 c cleaning 38996 clauses out of 78005 with flag 2183201/810684 238.51/229.04 c cleaning 40000 clauses out of 80009 with flag 2294049/851684 258.79/249.08 c cleaning 41001 clauses out of 82009 with flag 2407260/893684 275.01/263.88 c cleaning 41998 clauses out of 84009 with flag 2519843/936685 296.46/284.94 c cleaning 42998 clauses out of 86010 with flag 2633440/980684 314.99/303.14 c cleaning 44004 clauses out of 88013 with flag 2746678/1025685 333.65/321.41 c cleaning 44998 clauses out of 90008 with flag 2871232/1071684 353.21/340.68 c cleaning 46004 clauses out of 92011 with flag 3006271/1118685 373.94/361.00 c cleaning 47002 clauses out of 94006 with flag 3147975/1166684 400.11/386.97 c cleaning 48001 clauses out of 96006 with flag 3274440/1215686 419.33/405.82 c cleaning 48996 clauses out of 98003 with flag 3417993/1265684 445.21/431.24 c cleaning 50003 clauses out of 100007 with flag 3566261/1316684 469.46/453.30 c cleaning 50997 clauses out of 102005 with flag 3709866/1368685 497.83/481.53 c cleaning 51999 clauses out of 104008 with flag 3855050/1421685 525.85/509.15 c cleaning 52997 clauses out of 106009 with flag 4006547/1475685 554.70/537.63 c cleaning 54001 clauses out of 108011 with flag 4160777/1530684 579.11/561.68 c cleaning 55001 clauses out of 110010 with flag 4314980/1586684 597.66/579.75 c cleaning 56003 clauses out of 112010 with flag 4468052/1643685 618.19/599.88 c cleaning 56997 clauses out of 114006 with flag 4616724/1701684 641.76/623.00 c cleaning 58001 clauses out of 116010 with flag 4763400/1760685 663.80/644.55 c cleaning 59002 clauses out of 118009 with flag 4914556/1820685 689.16/669.44 c cleaning 59999 clauses out of 120007 with flag 5069341/1881685 718.52/698.31 c cleaning 60999 clauses out of 122007 with flag 5231619/1943684 744.18/723.51 c cleaning 62003 clauses out of 124009 with flag 5399037/2006685 770.60/747.73 c cleaning 63003 clauses out of 126005 with flag 5576018/2070684 791.09/767.91 c cleaning 63995 clauses out of 128002 with flag 5754719/2135684 818.63/795.09 c cleaning 64995 clauses out of 130007 with flag 5940073/2201684 850.08/825.97 c cleaning 66006 clauses out of 132012 with flag 6132370/2268684 872.77/848.38 c cleaning 67003 clauses out of 134006 with flag 6322775/2336684 895.99/871.09 c cleaning 67998 clauses out of 136004 with flag 6510911/2405685 926.25/900.81 c cleaning 69002 clauses out of 138006 with flag 6688036/2475685 955.53/929.54 c cleaning 69999 clauses out of 140003 with flag 6867459/2546684 987.47/961.24 c cleaning 71002 clauses out of 142007 with flag 7048364/2618687 1025.21/998.44 c cleaning 71995 clauses out of 144002 with flag 7236005/2691684 1076.69/1049.40 c cleaning 73000 clauses out of 146009 with flag 7428267/2765686 1132.61/1104.89 c cleaning 73998 clauses out of 148008 with flag 7623384/2840685 1160.70/1132.37 c cleaning 75001 clauses out of 150009 with flag 7823155/2916684 1195.05/1164.57 c cleaning 76003 clauses out of 152009 with flag 8027399/2993685 1225.06/1194.02 c cleaning 76997 clauses out of 154006 with flag 8241560/3071685 1264.37/1233.01 c cleaning 77994 clauses out of 156008 with flag 8446473/3150684 1308.82/1276.80 c cleaning 79001 clauses out of 158014 with flag 8645938/3230684 1347.10/1314.75 c cleaning 80001 clauses out of 160013 with flag 8846691/3311684 1399.29/1366.72 c cleaning 81006 clauses out of 162013 with flag 9048527/3393685 1436.05/1402.67 c cleaning 82001 clauses out of 164009 with flag 9271444/3476687 1478.52/1444.94 c cleaning 83000 clauses out of 166007 with flag 9506911/3560686 1512.39/1478.26 c cleaning 83997 clauses out of 168006 with flag 9736555/3645685 1550.13/1515.78 c cleaning 85002 clauses out of 170010 with flag 9974470/3731686 1595.17/1560.18 c cleaning 86000 clauses out of 172006 with flag 10199809/3818684 1651.66/1615.90 c cleaning 86997 clauses out of 174007 with flag 10419591/3906685 1708.69/1672.62 c cleaning 88005 clauses out of 176010 with flag 10667862/3995685 1758.43/1721.58 c cleaning 89003 clauses out of 178005 with flag 10901990/4085685 1803.96/1766.76 c cleaning 89995 clauses out of 180001 with flag 11144574/4176684 1840.53/1802.78 c cleaning 91002 clauses out of 182006 with flag 11382339/4268684 1911.60/1873.10 c cleaning 91999 clauses out of 184006 with flag 11625204/4361686 1974.00/1932.73 c cleaning 92995 clauses out of 186006 with flag 11861707/4455685 2012.59/1970.43 c cleaning 94006 clauses out of 188011 with flag 12100982/4550685 2058.79/2015.97 c cleaning 94995 clauses out of 190005 with flag 12354519/4646685 2123.20/2080.05 c cleaning 96000 clauses out of 192010 with flag 12604084/4743685 2160.31/2116.50 c cleaning 97006 clauses out of 194011 with flag 12849432/4841686 2236.73/2192.16 c cleaning 97998 clauses out of 196004 with flag 13093936/4940685 2290.78/2245.96 c cleaning 98998 clauses out of 198005 with flag 13340641/5040684 2327.91/2282.10 c cleaning 100003 clauses out of 200011 with flag 13581886/5141688 2389.15/2342.80 c cleaning 100994 clauses out of 202005 with flag 13841641/5243685 2449.59/2402.67 c cleaning 102002 clauses out of 204010 with flag 14113001/5346684 2504.29/2456.54 c cleaning 103005 clauses out of 206009 with flag 14386377/5450685 2573.57/2525.54 c cleaning 103998 clauses out of 208003 with flag 14657883/5555684 2646.88/2598.46 c cleaning 105000 clauses out of 210005 with flag 14917765/5661684 2696.27/2644.74 c cleaning 105995 clauses out of 212005 with flag 15183971/5768684 2770.83/2718.54 c cleaning 107003 clauses out of 214012 with flag 15447327/5876686 2836.51/2783.30 c cleaning 107998 clauses out of 216008 with flag 15731437/5985685 2894.76/2841.21 c cleaning 109002 clauses out of 218009 with flag 15998158/6095684 2966.74/2912.42 c cleaning 109999 clauses out of 220008 with flag 16275658/6206685 3035.26/2980.27 c cleaning 111001 clauses out of 222008 with flag 16548055/6318684 3120.09/3064.47 c cleaning 112001 clauses out of 224008 with flag 16835463/6431685 3182.04/3125.64 c cleaning 113004 clauses out of 226008 with flag 17124293/6545686 3254.09/3196.99 c cleaning 113997 clauses out of 228003 with flag 17398311/6660685 3418.63/3360.86 c cleaning 114997 clauses out of 230006 with flag 17691863/6776685 3573.09/3510.33 c cleaning 115993 clauses out of 232008 with flag 17988387/6893684 3600.04/3537.31 c starts : 61 3600.04/3537.32 c conflicts : 6946303 3600.04/3537.32 c decisions : 7054191 3600.04/3537.32 c propagations : 68549682 3600.04/3537.32 c inspects : 10077959998 3600.04/3537.32 c shortcuts : 0 3600.04/3537.32 c learnt literals : 0 3600.04/3537.32 c learnt binary clauses : 0 3600.04/3537.32 c learnt ternary clauses : 0 3600.04/3537.32 c learnt constraints : 6946303 3600.04/3537.32 c ignored constraints : 0 3600.04/3537.32 c root simplifications : 0 3600.04/3537.32 c removed literals (reason simplification) : 71475857 3600.04/3537.33 c reason swapping (by a shorter reason) : 0 3600.04/3537.33 c Calls to reduceDB : 113 3600.04/3537.33 c Number of update (reduction) of LBD : 29546 3600.04/3537.33 c Imported unit clauses : 0 3600.04/3537.34 c No decision after first conflict : false 3600.04/3537.34 c number of reductions to clauses (during analyze) : 0 3600.04/3537.34 c number of learned constraints concerned by reduction : 0 3600.04/3537.34 c number of learning phase by resolution : 0 3600.04/3537.34 c number of learning phase by cutting planes : 0 3600.04/3537.34 c number of rounding to 1 operations : 0 3600.04/3537.34 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3537.34 c number of reductions of the coefficients by power 2 : 0 3600.04/3537.34 c number of right shift for reduction by power 2 : 0 3600.04/3537.34 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3537.34 c number of ending skipping : 0 3600.04/3537.34 c number of internal skipping : 0 3600.04/3537.34 c number of derivation steps : 0 3600.04/3537.34 c number of skipped derivation steps : 0 3600.04/3537.34 c number of remaining unassigned : 0 3600.04/3537.34 c number of remaining assigned : 0 3600.04/3537.34 c number of falsified literals weakened from reason : 0 3600.04/3537.34 c number of falsified literals weakened from conflict : 0 3600.04/3537.34 c time for arithmetic operations : 0 3600.04/3537.36 c minimum degree of deleted constraints : null 3600.04/3537.36 c maximum degree of deleted constraints : null 3600.04/3537.36 c number of deleted constraints : 0 3600.04/3537.36 c speed (assignments/second) : 19379.87559503986 3600.04/3537.36 c non guided choices : 100 3600.25/3537.44 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 168634 3600.25/3537.44 s SATISFIABLE 3600.25/3537.46 c Found 2 solution(s) 3600.25/3537.46 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 3600.25/3537.46 c objective function=-20 3600.25/3537.46 c Total wall clock time (in seconds): 3537.321
OK -20
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 (62074 MiB free)
memory of node 1: 64507 MiB (59798 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519936-1751565552/watcher-4519936-1751565552 -o /tmp/evaluation-result-4519936-1751565552/solver-4519936-1751565552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751565552-81262 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4519936-1751565552.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81320, runsolver pid=81303
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.43 0.90 1.43 9/337 81387
/proc/meminfo: memFree=124698272/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=18930384 memory=53176 CPUtime=0.1 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 6464 0 30 0 8 2 0 0 20 0 18 0 72232935 19384713216 13294 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4732596 13294 5343 1 0 547551 0
[pid=81320/tid=81347] ppid=81303 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 4998 0 30 0 5 1 0 0 20 0 18 0 72232938 19384713216 13294 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72232940 19384713216 13294 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=18930384 memory=60684515966010 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 72232940 19384713216 13294 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53176 KiB
[startup+0.207205 s]*
/proc/loadavg: 1.28 1.07 1.49 14/338 81388
/proc/meminfo: memFree=124676960/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=18996948 memory=62556 CPUtime=0.31 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 7160 0 30 0 28 3 0 0 20 0 19 0 72232935 19452874752 15639 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4749237 15639 5471 1 0 548310 0
[pid=81320/tid=81347] ppid=81303 vsize=18996948 memory=4026728732 CPUtime=0.16 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 5375 0 30 0 14 2 0 0 20 0 19 0 72232938 19452874752 15639 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=18996948 memory=16880 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72232940 19452874752 15639 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=18996948 memory=59585004307431 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 72232940 19452874752 15639 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (java) R 81303 81320 81250 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 72232956 19452874752 15639 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62556 KiB
[startup+0.305057 s]*
/proc/loadavg: 1.28 1.07 1.49 11/341 81391
/proc/meminfo: memFree=124647852/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=18996948 memory=70728 CPUtime=0.49 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 9758 0 30 0 46 3 0 0 20 0 19 0 72232935 19452874752 17682 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4749237 17682 5471 1 0 549831 0
[pid=81320/tid=81347] ppid=81303 vsize=18996948 memory=-6000919494265367399 CPUtime=0.25 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 5405 0 30 0 23 2 0 0 20 0 19 0 72232938 19452874752 17682 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72232940 19452874752 17682 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 72232940 19452874752 17682 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72232956 19452874752 17682 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70728 KiB
[startup+0.700202 s]
/proc/loadavg: 1.28 1.07 1.49 10/341 81391
/proc/meminfo: memFree=124621236/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=18996948 memory=94824 CPUtime=1.26 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 11787 0 30 0 122 4 0 0 20 0 19 0 72232935 19452874752 23706 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4749237 23706 5471 1 0 551076 0
[pid=81320/tid=81347] ppid=81303 vsize=18996948 memory=18688 CPUtime=0.62 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 5431 0 30 0 60 2 0 0 20 0 19 0 72232938 19452874752 23706 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72232940 19452874752 23706 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 72232940 19452874752 23706 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72232956 19452874752 23706 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94824 KiB
[startup+1.5002 s]
/proc/loadavg: 1.28 1.07 1.49 7/341 81391
/proc/meminfo: memFree=124507056/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=176636 CPUtime=2.46 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 17277 0 30 0 239 7 0 0 20 0 20 0 72232935 19521036288 44159 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 44159 5503 1 0 551596 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=0 CPUtime=1.41 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) S 81303 81320 81250 0 -1 4194368 6468 0 30 0 137 4 0 0 20 0 20 0 72232938 19521036288 44159 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 44159 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 44159 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 44159 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176636 KiB
[startup+3.10476 s]
/proc/loadavg: 1.28 1.07 1.49 8/344 81394
/proc/meminfo: memFree=123942708/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=297860 CPUtime=4.2 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 18800 0 30 0 409 11 0 0 20 0 20 0 72232935 19521036288 74465 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 74465 5503 1 0 551620 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=10752 CPUtime=2.9 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 6799 0 30 0 286 4 0 0 20 0 20 0 72232938 19521036288 74465 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=-6000919494265367399 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 74465 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 74465 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 74465 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 297860 KiB
[startup+6.30017 s]
/proc/loadavg: 1.50 1.12 1.50 7/345 81395
/proc/meminfo: memFree=123591088/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=438476 CPUtime=7.55 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 19181 0 30 0 741 14 0 0 20 0 20 0 72232935 19521036288 109619 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 109619 5503 1 0 551620 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=0 CPUtime=5.96 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 6888 0 30 0 592 4 0 0 20 0 20 0 72232938 19521036288 109619 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 109619 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 109619 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 109619 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 438476 KiB
[startup+12.7002 s]
/proc/loadavg: 1.70 1.17 1.51 6/345 81395
/proc/meminfo: memFree=122709756/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=901288 CPUtime=14.23 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 21963 0 30 0 1399 24 0 0 20 0 20 0 72232935 19521036288 225322 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 225322 5503 1 0 758407 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=10752 CPUtime=12.06 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 7672 0 30 0 1200 6 0 0 20 0 20 0 72232938 19521036288 225322 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=901288 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 225322 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 225322 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 225322 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 14.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 901288 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 1.26 1.54 6/345 81395
/proc/meminfo: memFree=120938876/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=1753100 CPUtime=27.59 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 23975 0 30 0 2718 41 0 0 20 0 20 0 72232935 19521036288 438275 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 438275 5503 1 0 944318 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=901288 CPUtime=24.24 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 8211 0 30 0 2415 9 0 0 20 0 20 0 72232938 19521036288 438275 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 438275 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=1238936 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 438275 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=1622028 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 438275 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 27.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1753100 KiB
[startup+51.1048 s]
/proc/loadavg: 2.88 1.54 1.63 6/345 81396
/proc/meminfo: memFree=118514508/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=2808620 CPUtime=54.52 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 39396 0 30 0 5387 65 0 0 20 0 20 0 72232935 19521036288 702155 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 702155 5535 1 0 1072423 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=-6000919494265367399 CPUtime=48.94 cores=1,3
################
# More data... #
################
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 150343 0 30 0 316441 95 0 0 20 0 20 0 72232938 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 2944 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 3279.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15287736 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.08 6/339 81559
/proc/meminfo: memFree=88128276/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=15287736 CPUtime=3339.73 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 286925 0 30 0 333520 453 0 0 20 0 20 0 72232935 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 3821934 5535 1 0 4082453 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=15287736 CPUtime=3224.8 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 153877 0 30 0 322385 95 0 0 20 0 20 0 72232938 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 2963 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 3339.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15287736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.08 6/339 81561
/proc/meminfo: memFree=88128016/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=15287736 CPUtime=3399.63 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 291183 0 30 0 339507 456 0 0 20 0 20 0 72232935 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 3821934 5535 1 0 4082453 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=10752 CPUtime=3284.66 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 157936 0 30 0 328371 95 0 0 20 0 20 0 72232938 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 3086 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=-6000919494265367399 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 3399.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15287736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/339 81565
/proc/meminfo: memFree=88130972/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=15287736 CPUtime=3460.05 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 296996 0 30 0 345546 459 0 0 20 0 20 0 72232935 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 3821934 5535 1 0 4082453 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=18688 CPUtime=3343.98 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 162654 0 30 0 334302 96 0 0 20 0 20 0 72232938 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 3123 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 3460.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15287736 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.09 6/340 81572
/proc/meminfo: memFree=88130716/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=15287736 CPUtime=3520.42 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 300948 0 30 0 351580 462 0 0 20 0 20 0 72232935 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 3821934 5535 1 0 4082453 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=15287736 CPUtime=3403.37 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 165485 0 30 0 340240 97 0 0 20 0 20 0 72232938 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 3199 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 3821934 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 3520.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15287736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.17 4.10 5/340 81642
/proc/meminfo: memFree=102635040/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=15415288 CPUtime=3585.06 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 313728 0 30 0 358037 469 0 0 20 0 20 0 72232935 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 3853822 5535 1 0 4083580 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=14384 CPUtime=3462.65 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 171654 0 30 0 346167 98 0 0 20 0 20 0 72232938 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=15415288 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 3292 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=15415288 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15415288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3537.3 s]
/proc/loadavg: 4.30 4.18 4.11 5/340 81642
/proc/meminfo: memFree=100402744/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19063512 memory=15415288 CPUtime=3600.04 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 315205 0 30 0 359534 470 0 0 20 0 20 0 72232935 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4765878 3853822 5535 1 0 4083580 0
[pid=81320/tid=81347] ppid=81303 vsize=19063512 memory=5276 CPUtime=3477.61 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 173072 0 30 0 347663 98 0 0 20 0 20 0 72232938 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19063512 memory=15415288 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 3292 0 0 0 0 0 0 0 20 0 20 0 72232940 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81388] ppid=81303 vsize=19063512 memory=15287736 CPUtime=0 cores=1,3
/proc/81320/task/81388/stat : 81388 (Timer-0) S 81303 81320 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232956 19521036288 3853822 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15415288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3537.52 s]
# the end of solver process 81320 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.67 s, system=4.75186 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3537.4 s]
/proc/loadavg: 4.30 4.18 4.11 5/340 81642
/proc/meminfo: memFree=100402744/131249996 swapFree=33010416/33010684
[pid=81320] ppid=81303 vsize=19263204 memory=15416184 CPUtime=3600.25 cores=1,3
/proc/81320/stat : 81320 (java) S 81303 81320 81250 0 -1 4194304 317846 0 30 0 359554 471 0 0 20 0 21 0 72232935 19725520896 3854046 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
/proc/81320/statm: 4815801 3854046 5567 1 0 4084493 0
[pid=81320/tid=81347] ppid=81303 vsize=19263204 memory=12288 CPUtime=3477.71 cores=1,3
/proc/81320/task/81347/stat : 81347 (java) R 81303 81320 81250 0 -1 4194368 173298 0 30 0 347673 98 0 0 20 0 21 0 72232938 19725520896 3854046 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81372] ppid=81303 vsize=19263204 memory=2732 CPUtime=0 cores=1,3
/proc/81320/task/81372/stat : 81372 (Finalizer) S 81303 81320 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 72232940 19725520896 3854046 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
[pid=81320/tid=81387] ppid=81303 vsize=19263204 memory=15414776 CPUtime=0 cores=1,3
/proc/81320/task/81387/stat : 81387 (Common-Cleaner) S 81303 81320 81250 0 -1 4194368 3292 0 0 0 0 0 0 0 20 0 21 0 72232940 19725520896 3854046 18446744073709551615 94420575518720 94420575522416 140727171739328 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94420575530232 94420575531024 94420602822656 140727171742081 140727171742182 140727171742182 140727171747784 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 15416184 KiB
[startup+3537.5 s]*
/proc/loadavg: 4.30 4.18 4.11 5/322 81645
/proc/meminfo: memFree=115384864/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3537.52
CPU time (s): 3600.42
CPU user time (s): 3595.67
CPU system time (s): 4.75186
CPU usage (%): 101.778
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 15416184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.67
system time used= 4.75186
maximum resident set size= 15416440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318475
page faults= 30
swaps= 0
block input operations= 0
block output operations= 17720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113562
involuntary context switches= 6547
# summary of solver processes directly reported to runsolver:
# pid: 81320
# total CPU time (s): 3600.42
# total CPU user time (s): 3595.67
# total CPU system time (s): 4.75186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74323 second user time and 12.8495 second system time
The end
Begin job on nodeC022 at 2025-07-03 19:59:12 IDJOB=4519936 IDBENCH=177560 IDSOLVER=3363 FILE ID=nodeC022/4519936-1751565552 RUNJOBID= nodeC022-1751565552-81262 SLURM_JOB_ID= 9598772 Free space on /tmp= 432392 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519936-1751565552/watcher-4519936-1751565552 -o /tmp/evaluation-result-4519936-1751565552/solver-4519936-1751565552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751565552-81262 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4519936-1751565552.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 95a025abd93d3c3a131defec0604d084 RANDOM SEED=1703102833 nodeC022 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.747 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.568 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.44 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.174 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.44 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 : 3599.709 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.892 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.44 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 : 3598.544 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.44 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.673 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.44 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 : 3606.370 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 124802756 kB MemAvailable: 129720404 kB Buffers: 2128 kB Cached: 5693496 kB SwapCached: 32 kB Active: 608744 kB Inactive: 5151156 kB Active(anon): 78128 kB Inactive(anon): 4176 kB Active(file): 530616 kB Inactive(file): 5146980 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2608 kB Writeback: 0 kB AnonPages: 67360 kB Mapped: 103204 kB Shmem: 18028 kB KReclaimable: 158184 kB Slab: 247960 kB SReclaimable: 158184 kB SUnreclaim: 89776 kB KernelStack: 4212 kB PageTables: 2532 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 332428 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432384 MiB End job on nodeC022 at 2025-07-03 20:58:09