Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | -20 | 3600.27 | 3661.02 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/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.12/0.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4519937-1751564449.opb 0.12/0.14 c reading problem ... 0.12/0.14 c using VERIPB proof format 0.12/0.14 c objective function found 0.12/0.19 c ... done. Wall clock time 0.045s. 0.12/0.19 c declared #vars 820 0.12/0.19 c #constraints 270 0.12/0.19 c constraints type 0.12/0.19 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30 0.12/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20 0.12/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 220 0.12/0.19 c 270 constraints processed. 0.12/0.20 c objective function length is 600 literals 0.50/0.38 c SATISFIABLE 0.50/0.38 c OPTIMIZING... 0.50/0.38 c Got one! Elapsed wall clock time (in seconds):0.239 0.50/0.38 o -19 0.50/0.41 c Got one! Elapsed wall clock time (in seconds):0.268 0.50/0.41 o -20 4.04/2.13 c cleaning 2842 clauses out of 5685 with flag 13335/5685 6.10/3.77 c cleaning 4422 clauses out of 8843 with flag 29133/11685 8.47/5.81 c cleaning 5710 clauses out of 11421 with flag 46877/18685 10.79/7.92 c cleaning 6853 clauses out of 13710 with flag 67945/26684 13.04/10.09 c cleaning 7929 clauses out of 15857 with flag 92271/35684 15.82/12.85 c cleaning 8963 clauses out of 17928 with flag 117909/45684 20.04/16.89 c cleaning 9983 clauses out of 19965 with flag 148458/56684 24.50/20.83 c cleaning 10986 clauses out of 21982 with flag 182198/68684 28.68/24.90 c cleaning 11994 clauses out of 23996 with flag 217828/81684 33.02/29.19 c cleaning 13002 clauses out of 26003 with flag 255515/95685 37.69/33.56 c cleaning 14001 clauses out of 28001 with flag 295038/110685 43.48/39.03 c cleaning 14999 clauses out of 29999 with flag 340856/126684 49.23/44.46 c cleaning 15999 clauses out of 32000 with flag 387368/143684 55.27/50.36 c cleaning 16995 clauses out of 34001 with flag 435275/161684 61.89/56.62 c cleaning 18004 clauses out of 36007 with flag 485667/180685 68.89/63.53 c cleaning 18998 clauses out of 38003 with flag 543573/200685 76.27/70.56 c cleaning 19998 clauses out of 40004 with flag 601832/221684 84.53/78.77 c cleaning 21004 clauses out of 42008 with flag 666117/243686 93.39/87.06 c cleaning 22002 clauses out of 44003 with flag 732921/266685 102.21/95.50 c cleaning 22998 clauses out of 46001 with flag 801054/290685 109.75/102.79 c cleaning 23997 clauses out of 48002 with flag 874440/315684 117.89/110.52 c cleaning 25003 clauses out of 50006 with flag 942233/341685 126.46/118.71 c cleaning 25997 clauses out of 52004 with flag 1007172/368686 134.45/126.43 c cleaning 27002 clauses out of 54006 with flag 1072803/396685 144.45/135.92 c cleaning 28001 clauses out of 56004 with flag 1148075/425685 154.82/145.95 c cleaning 28993 clauses out of 58002 with flag 1230517/455684 168.47/159.27 c cleaning 30004 clauses out of 60011 with flag 1313474/486686 179.11/169.54 c cleaning 31005 clauses out of 62009 with flag 1399794/518688 191.00/180.93 c cleaning 32001 clauses out of 64001 with flag 1494179/551685 204.17/192.75 c cleaning 33000 clauses out of 66000 with flag 1590104/585685 218.88/207.11 c cleaning 33995 clauses out of 67999 with flag 1689606/620684 235.02/222.65 c cleaning 34999 clauses out of 70005 with flag 1786654/656685 256.89/244.01 c cleaning 35998 clauses out of 72005 with flag 1882327/693684 273.57/260.15 c cleaning 37003 clauses out of 74007 with flag 1978616/731684 286.99/273.25 c cleaning 37999 clauses out of 76005 with flag 2077237/770685 304.39/289.92 c cleaning 38996 clauses out of 78005 with flag 2183201/810684 322.75/307.87 c cleaning 40000 clauses out of 80009 with flag 2294049/851684 346.44/331.02 c cleaning 41001 clauses out of 82009 with flag 2407260/893684 365.43/349.31 c cleaning 41998 clauses out of 84009 with flag 2519843/936685 390.70/373.93 c cleaning 42998 clauses out of 86010 with flag 2633440/980684 412.32/395.22 c cleaning 44004 clauses out of 88013 with flag 2746678/1025685 434.92/421.46 c cleaning 44998 clauses out of 90008 with flag 2871232/1071684 458.52/444.62 c cleaning 46004 clauses out of 92011 with flag 3006271/1118685 485.56/469.48 c cleaning 47002 clauses out of 94006 with flag 3147975/1166684 515.71/498.86 c cleaning 48001 clauses out of 96006 with flag 3274440/1215686 539.45/521.99 c cleaning 48996 clauses out of 98003 with flag 3417993/1265684 568.98/550.85 c cleaning 50003 clauses out of 100007 with flag 3566261/1316684 595.27/576.54 c cleaning 50997 clauses out of 102005 with flag 3709866/1368685 628.80/609.25 c cleaning 51999 clauses out of 104008 with flag 3855050/1421685 660.76/640.53 c cleaning 52997 clauses out of 106009 with flag 4006547/1475685 695.57/674.57 c cleaning 54001 clauses out of 108011 with flag 4160777/1530684 725.70/704.34 c cleaning 55001 clauses out of 110010 with flag 4314980/1586684 749.63/727.82 c cleaning 56003 clauses out of 112010 with flag 4468052/1643685 775.57/753.23 c cleaning 56997 clauses out of 114006 with flag 4616724/1701684 806.23/784.90 c cleaning 58001 clauses out of 116010 with flag 4763400/1760685 833.68/816.59 c cleaning 59002 clauses out of 118009 with flag 4914556/1820685 864.77/850.04 c cleaning 59999 clauses out of 120007 with flag 5069341/1881685 899.79/888.87 c cleaning 60999 clauses out of 122007 with flag 5231619/1943684 930.54/920.68 c cleaning 62003 clauses out of 124009 with flag 5399037/2006685 960.66/950.20 c cleaning 63003 clauses out of 126005 with flag 5576018/2070684 986.96/975.67 c cleaning 63995 clauses out of 128002 with flag 5754719/2135684 1020.70/1008.57 c cleaning 64995 clauses out of 130007 with flag 5940073/2201684 1057.71/1044.84 c cleaning 66006 clauses out of 132012 with flag 6132370/2268684 1086.78/1073.29 c cleaning 67003 clauses out of 134006 with flag 6322775/2336684 1116.06/1105.79 c cleaning 67998 clauses out of 136004 with flag 6510911/2405685 1154.85/1143.92 c cleaning 69002 clauses out of 138006 with flag 6688036/2475685 1190.89/1180.69 c cleaning 69999 clauses out of 140003 with flag 6867459/2546684 1230.28/1225.70 c cleaning 71002 clauses out of 142007 with flag 7048364/2618687 1273.80/1268.61 c cleaning 71995 clauses out of 144002 with flag 7236005/2691684 1332.15/1326.23 c cleaning 73000 clauses out of 146009 with flag 7428267/2765686 1396.28/1393.18 c cleaning 73998 clauses out of 148008 with flag 7623384/2840685 1431.75/1429.47 c cleaning 75001 clauses out of 150009 with flag 7823155/2916684 1471.93/1468.61 c cleaning 76003 clauses out of 152009 with flag 8027399/2993685 1509.06/1505.08 c cleaning 76997 clauses out of 154006 with flag 8241560/3071685 1560.33/1554.39 c cleaning 77994 clauses out of 156008 with flag 8446473/3150684 1612.86/1608.34 c cleaning 79001 clauses out of 158014 with flag 8645938/3230684 1659.49/1660.97 c cleaning 80001 clauses out of 160013 with flag 8846691/3311684 1721.97/1726.81 c cleaning 81006 clauses out of 162013 with flag 9048527/3393685 1767.91/1772.30 c cleaning 82001 clauses out of 164009 with flag 9271444/3476687 1820.47/1824.13 c cleaning 83000 clauses out of 166007 with flag 9506911/3560686 1863.47/1867.67 c cleaning 83997 clauses out of 168006 with flag 9736555/3645685 1911.94/1921.68 c cleaning 85002 clauses out of 170010 with flag 9974470/3731686 1968.98/1974.86 c cleaning 86000 clauses out of 172006 with flag 10199809/3818684 2035.05/2040.42 c cleaning 86997 clauses out of 174007 with flag 10419591/3906685 2103.34/2108.07 c cleaning 88005 clauses out of 176010 with flag 10667862/3995685 2164.62/2170.07 c cleaning 89003 clauses out of 178005 with flag 10901990/4085685 2221.97/2226.78 c cleaning 89995 clauses out of 180001 with flag 11144574/4176684 2268.61/2277.79 c cleaning 91002 clauses out of 182006 with flag 11382339/4268684 2350.54/2359.54 c cleaning 91999 clauses out of 184006 with flag 11625204/4361686 2421.54/2436.34 c cleaning 92995 clauses out of 186006 with flag 11861707/4455685 2472.49/2485.29 c cleaning 94006 clauses out of 188011 with flag 12100982/4550685 2530.04/2548.62 c cleaning 94995 clauses out of 190005 with flag 12354519/4646685 2605.80/2630.72 c cleaning 96000 clauses out of 192010 with flag 12604084/4743685 2652.81/2677.09 c cleaning 97006 clauses out of 194011 with flag 12849432/4841686 2742.81/2770.16 c cleaning 97998 clauses out of 196004 with flag 13093936/4940685 2809.30/2848.47 c cleaning 98998 clauses out of 198005 with flag 13340641/5040684 2860.74/2896.17 c cleaning 100003 clauses out of 200011 with flag 13581886/5141688 2933.37/2971.80 c cleaning 100994 clauses out of 202005 with flag 13841641/5243685 3004.48/3050.99 c cleaning 102002 clauses out of 204010 with flag 14113001/5346684 3071.25/3124.99 c cleaning 103005 clauses out of 206009 with flag 14386377/5450685 3151.75/3207.77 c cleaning 103998 clauses out of 208003 with flag 14657883/5555684 3239.35/3294.83 c cleaning 105000 clauses out of 210005 with flag 14917765/5661684 3302.43/3354.28 c cleaning 105995 clauses out of 212005 with flag 15183971/5768684 3383.55/3434.50 c cleaning 107003 clauses out of 214012 with flag 15447327/5876686 3448.55/3498.42 c cleaning 107998 clauses out of 216008 with flag 15731437/5985685 3509.50/3562.34 c cleaning 109002 clauses out of 218009 with flag 15998158/6095684 3578.93/3640.18 c cleaning 109999 clauses out of 220008 with flag 16275658/6206685 3600.04/3660.81 c starts : 61 3600.04/3660.81 c conflicts : 6253719 3600.04/3660.81 c decisions : 6357750 3600.04/3660.81 c propagations : 61648958 3600.04/3660.81 c inspects : 8319245946 3600.04/3660.81 c shortcuts : 0 3600.04/3660.81 c learnt literals : 0 3600.04/3660.81 c learnt binary clauses : 0 3600.04/3660.81 c learnt ternary clauses : 0 3600.04/3660.81 c learnt constraints : 6253719 3600.04/3660.81 c ignored constraints : 0 3600.04/3660.81 c root simplifications : 0 3600.04/3660.81 c removed literals (reason simplification) : 63504130 3600.04/3660.81 c reason swapping (by a shorter reason) : 0 3600.04/3660.81 c Calls to reduceDB : 107 3600.04/3660.81 c Number of update (reduction) of LBD : 28584 3600.04/3660.81 c Imported unit clauses : 0 3600.04/3660.81 c No decision after first conflict : false 3600.04/3660.81 c number of reductions to clauses (during analyze) : 0 3600.04/3660.81 c number of learned constraints concerned by reduction : 0 3600.04/3660.81 c number of learning phase by resolution : 0 3600.04/3660.81 c number of learning phase by cutting planes : 0 3600.04/3660.81 c number of rounding to 1 operations : 0 3600.04/3660.81 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3660.81 c number of reductions of the coefficients by power 2 : 0 3600.04/3660.81 c number of right shift for reduction by power 2 : 0 3600.04/3660.81 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3660.81 c number of ending skipping : 0 3600.04/3660.81 c number of internal skipping : 0 3600.04/3660.81 c number of derivation steps : 0 3600.04/3660.81 c number of skipped derivation steps : 0 3600.04/3660.81 c number of remaining unassigned : 0 3600.04/3660.81 c number of remaining assigned : 0 3600.04/3660.81 c number of falsified literals weakened from reason : 0 3600.04/3660.81 c number of falsified literals weakened from conflict : 0 3600.04/3660.81 c time for arithmetic operations : 0 3600.04/3660.81 c minimum degree of deleted constraints : null 3600.04/3660.81 c maximum degree of deleted constraints : null 3600.04/3660.81 c number of deleted constraints : 0 3600.04/3660.81 c speed (assignments/second) : 16841.212139755193 3600.04/3660.81 c non guided choices : 100 3600.04/3660.87 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 157043 3600.04/3660.87 s SATISFIABLE 3600.04/3660.87 c Found 2 solution(s) 3600.04/3660.87 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.04/3660.88 c objective function=-20 3600.04/3660.88 c Total wall clock time (in seconds): 3660.744
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: 63708 MiB (25889 MiB free)
memory of node 1: 64465 MiB (51761 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519937-1751564449/watcher-4519937-1751564449 -o /tmp/evaluation-result-4519937-1751564449/solver-4519937-1751564449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751557391-78733 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519937-1751564449 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4519937-1751564449.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 FSIZE limit: 102400000 KiB
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.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=79700, runsolver pid=79697
[startup+0.100061 s]*
/proc/loadavg: 4.24 4.25 4.25 5/344 79718
/proc/meminfo: memFree=79480036/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=18930384 memory=57688 CPUtime=0.12 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 6556 0 0 0 11 1 0 0 20 0 18 0 72121497 19384713216 14422 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4732596 14422 5336 1 0 547604 0
[pid=79700/tid=79702] ppid=79697 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 5056 0 0 0 6 1 0 0 20 0 18 0 72121498 19384713216 14422 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72121500 19384713216 14422 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=18930384 memory=59585004336271 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72121500 19384713216 14422 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57688 KiB
[startup+0.205939 s]*
/proc/loadavg: 4.24 4.25 4.25 7/344 79718
/proc/meminfo: memFree=79476196/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=18930384 memory=64616 CPUtime=0.31 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 7124 0 0 0 29 2 0 0 20 0 18 0 72121497 19384713216 16154 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4732596 16154 5496 1 0 548009 0
[pid=79700/tid=79702] ppid=79697 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 5381 0 0 0 15 1 0 0 20 0 18 0 72121498 19384713216 16154 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=18930384 memory=16955 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72121500 19384713216 16154 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72121500 19384713216 16154 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64616 KiB
[startup+0.30592 s]*
/proc/loadavg: 4.24 4.25 4.25 7/345 79719
/proc/meminfo: memFree=79468132/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=18996948 memory=72036 CPUtime=0.5 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 9282 0 0 0 47 3 0 0 20 0 19 0 72121497 19452874752 18009 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4749237 18009 5496 1 0 549538 0
[pid=79700/tid=79702] ppid=79697 vsize=18996948 memory=-6000919476934304616 CPUtime=0.23 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 5432 0 0 0 22 1 0 0 20 0 19 0 72121498 19452874752 18009 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72121500 19452874752 18009 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 72121500 19452874752 18009 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72121518 19452874752 18009 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72036 KiB
[startup+0.700223 s]
/proc/loadavg: 4.24 4.25 4.25 7/345 79719
/proc/meminfo: memFree=79419296/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=167500 CPUtime=1.25 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 11856 0 0 0 120 5 0 0 20 0 20 0 72121497 19521036288 41875 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 41875 5528 1 0 551340 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=18816 CPUtime=0.57 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 5479 0 0 0 54 3 0 0 20 0 20 0 72121498 19521036288 41875 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 41875 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 41875 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 41875 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167500 KiB
[startup+1.50025 s]
/proc/loadavg: 4.24 4.25 4.25 6/346 79720
/proc/meminfo: memFree=79344864/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=248132 CPUtime=2.85 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 13609 0 0 0 276 9 0 0 20 0 20 0 72121497 19521036288 62033 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 62033 5528 1 0 877477 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=10752 CPUtime=1.29 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 5505 0 0 0 124 5 0 0 20 0 20 0 72121498 19521036288 62033 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 62033 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 62033 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 62033 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 248132 KiB
[startup+3.10586 s]
/proc/loadavg: 4.24 4.25 4.25 5/346 79720
/proc/meminfo: memFree=78644832/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=905164 CPUtime=5.43 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 14864 0 0 0 519 24 0 0 20 0 20 0 72121497 19521036288 226291 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 226291 5528 1 0 1378885 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=10752 CPUtime=2.74 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 5795 0 0 0 257 17 0 0 20 0 20 0 72121498 19521036288 226291 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=-6000919476934304616 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 226291 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 226291 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 226291 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 5.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 905164 KiB
[startup+6.30024 s]
/proc/loadavg: 4.22 4.24 4.25 5/346 79720
/proc/meminfo: memFree=77520152/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=1993912 CPUtime=9.05 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 16211 0 0 0 855 50 0 0 20 0 20 0 72121497 19521036288 498478 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 498478 5528 1 0 1650535 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=0 CPUtime=5.73 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 6227 0 0 0 535 38 0 0 20 0 20 0 72121498 19521036288 498478 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 498478 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 498478 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=307540 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 498478 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 9.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1993912 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.24 4.25 5/346 79720
/proc/meminfo: memFree=76155576/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=3427592 CPUtime=15.72 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 17428 0 0 0 1486 86 0 0 20 0 20 0 72121497 19521036288 856898 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 856898 5528 1 0 1650537 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=307540 CPUtime=11.86 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 7313 0 0 0 1117 69 0 0 20 0 20 0 72121498 19521036288 856898 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 856898 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=2858248 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 856898 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 856898 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3427592 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.24 4.25 5/346 79720
/proc/meminfo: memFree=73293104/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=5897452 CPUtime=29.42 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 24084 0 0 0 2796 146 0 0 20 0 20 0 72121497 19521036288 1474363 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 1474363 5528 1 0 1838571 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=10752 CPUtime=23.63 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 9640 0 0 0 2252 111 0 0 20 0 20 0 72121498 19521036288 1474363 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=2858248 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 1474363 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 1474363 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 1474363 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 29.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5897452 KiB
[startup+51.1058 s]
/proc/loadavg: 4.15 4.22 4.24 5/346 79721
/proc/meminfo: memFree=70629160/131250000 swapFree=33010672/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=7936448 CPUtime=56.23 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 29403 0 0 0 5412 211 0 0 20 0 20 0 72121497 19521036288 1984112 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 1984112 5528 1 0 2170707 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=7780760 CPUtime=47.92 cores=5,7
################
# More data... #
################
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4054650 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 3251 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4054650 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=16218600 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 4054650 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 3226.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16218600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.86 4.82 4.72 5/320 80133
/proc/meminfo: memFree=30993492/131250000 swapFree=33008356/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=16227304 CPUtime=3290.15 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 2043837 0 0 0 326447 2568 0 0 20 0 20 0 72121497 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 4056826 5592 1 0 4071793 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=17280 CPUtime=3091.28 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 1780852 0 0 0 306740 2388 0 0 20 0 20 0 72121498 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=16227304 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=16227304 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 3303 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=-6000919476934304616 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 3290.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16227304 KiB
[startup+3402.3 s]
/proc/loadavg: 3.84 4.53 4.62 7/322 80139
/proc/meminfo: memFree=29208916/131250000 swapFree=33008356/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=16227304 CPUtime=3351.21 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 2063640 0 0 0 332521 2600 0 0 20 0 20 0 72121497 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 4056826 5592 1 0 4071793 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=16227304 CPUtime=3148.83 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 1798771 0 0 0 312465 2418 0 0 20 0 20 0 72121498 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=16227304 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=16227304 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 3355 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=14248 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 3351.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16227304 KiB
[startup+3462.3 s]
/proc/loadavg: 3.32 4.28 4.53 4/297 80172
/proc/meminfo: memFree=78866100/131250000 swapFree=33008356/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=16227304 CPUtime=3412.06 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 2145192 0 0 0 338568 2638 0 0 20 0 20 0 72121497 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 4056826 5592 1 0 4071793 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=16227304 CPUtime=3206.98 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 1872841 0 0 0 318244 2454 0 0 20 0 20 0 72121498 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=-6000919476934304616 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=14248 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 3448 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 4056826 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 3412.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16227304 KiB
[startup+3522.3 s]
/proc/loadavg: 2.61 3.90 4.38 4/296 80174
/proc/meminfo: memFree=77936712/131250000 swapFree=33008356/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=16235564 CPUtime=3473.06 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 2191873 0 0 0 344627 2679 0 0 20 0 20 0 72121497 19521036288 4058891 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 4058891 5592 1 0 4073881 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=16227304 CPUtime=3264.5 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 1913973 0 0 0 323956 2494 0 0 20 0 20 0 72121498 19521036288 4058891 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=14248 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4058891 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=16235564 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 3539 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4058891 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 4058891 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 3473.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16235564 KiB
[startup+3582.3 s]
/proc/loadavg: 2.27 3.57 4.24 1/297 80177
/proc/meminfo: memFree=77147420/131250000 swapFree=33008356/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=16243772 CPUtime=3529.37 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 2237101 0 0 0 350221 2716 0 0 20 0 20 0 72121497 19521036288 4060943 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 4060943 5592 1 0 4075969 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=16227304 CPUtime=3317.66 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) D 79697 79700 78720 0 -1 4194368 1955401 0 0 0 329238 2528 0 0 20 0 20 0 72121498 19521036288 4060943 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=16243772 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4060943 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 3632 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4060943 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=-6000919476934304616 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 4060943 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 3529.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16243772 KiB
[startup+3642.3 s]
/proc/loadavg: 2.25 3.32 4.11 3/297 80180
/proc/meminfo: memFree=76452348/131250000 swapFree=33008356/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=16251984 CPUtime=3581.16 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 2242051 0 0 0 355371 2745 0 0 20 0 20 0 72121497 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 4062996 5592 1 0 4078057 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=5148 CPUtime=3367.72 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 1959688 0 0 0 334216 2556 0 0 20 0 20 0 72121498 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=16235564 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 3730 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=16243772 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 3581.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16251984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3660.8 s]
/proc/loadavg: 2.20 3.26 4.07 3/297 80180
/proc/meminfo: memFree=76153952/131250000 swapFree=33008356/33010684
[pid=79700] ppid=79697 vsize=19063512 memory=16251984 CPUtime=3600.04 cores=5,7
/proc/79700/stat : 79700 (java) S 79697 79700 78720 0 -1 4194304 2243748 0 0 0 357246 2758 0 0 20 0 20 0 72121497 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
/proc/79700/statm: 4765878 4062996 5592 1 0 4078057 0
[pid=79700/tid=79702] ppid=79697 vsize=19063512 memory=-6000919476934304616 CPUtime=3385.7 cores=5,7
/proc/79700/task/79702/stat : 79702 (java) R 79697 79700 78720 0 -1 4194368 1961042 0 0 0 336002 2568 0 0 20 0 20 0 72121498 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79711] ppid=79697 vsize=19063512 memory=16251984 CPUtime=0 cores=5,7
/proc/79700/task/79711/stat : 79711 (Finalizer) S 79697 79700 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79718] ppid=79697 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/79700/task/79718/stat : 79718 (Common-Cleaner) S 79697 79700 78720 0 -1 4194368 3730 0 0 0 0 0 0 0 20 0 20 0 72121500 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
[pid=79700/tid=79719] ppid=79697 vsize=19063512 memory=14248 CPUtime=0 cores=5,7
/proc/79700/task/79719/stat : 79719 (Timer-0) S 79697 79700 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72121518 19521036288 4062996 18446744073709551615 94768303067136 94768303070832 140734580203456 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94768303078648 94768303079440 94768321302528 140734580205872 140734580206054 140734580206054 140734580211656 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16251984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3661.02 s]
# the end of solver process 79700 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3572.63 s, system=27.6434 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3661.01 s]*
/proc/loadavg: 2.18 3.24 4.06 2/279 80183
/proc/meminfo: memFree=92389476/131250000 swapFree=33008356/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): 3661.02
CPU time (s): 3600.27
CPU user time (s): 3572.63
CPU system time (s): 27.6434
CPU usage (%): 98.3405
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 16251984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.63
system time used= 27.6434
maximum resident set size= 16252752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2246295
page faults= 0
swaps= 0
block input operations= 40
block output operations= 47624160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133996
involuntary context switches= 18644
# summary of solver processes directly reported to runsolver:
# pid: 79700
# total CPU time (s): 3600.27
# total CPU user time (s): 3572.63
# total CPU system time (s): 27.6434
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92149 second user time and 17.4199 second system time
The end
Begin job on nodeC014 at 2025-07-03 19:40:49 IDJOB=4519937 IDBENCH=177560 IDSOLVER=3364 FILE ID=nodeC014/4519937-1751564449 RUNJOBID= nodeC014-1751557391-78733 SLURM_JOB_ID= 9598751 Free space on /tmp= 430444 MiB SOLVER NAME= Sat4j Resolution VeriPB 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519937-1751564449/watcher-4519937-1751564449 -o /tmp/evaluation-result-4519937-1751564449/solver-4519937-1751564449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751557391-78733 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519937-1751564449 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4519937-1751564449.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 95a025abd93d3c3a131defec0604d084 RANDOM SEED=1255131617 nodeC014 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 : 3600.133 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 : 7000.23 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 : 3600.126 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 : 7000.23 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 : 3600.414 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 : 7000.23 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 : 3606.012 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 : 7000.23 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 : 3600.116 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 : 7000.23 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 : 3600.765 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 : 7000.23 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 : 3507.532 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 : 7000.23 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 : 3600.108 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 : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 79515068 kB MemAvailable: 109816368 kB Buffers: 2508 kB Cached: 31066816 kB SwapCached: 4 kB Active: 20516460 kB Inactive: 30508356 kB Active(anon): 19969800 kB Inactive(anon): 3852 kB Active(file): 546660 kB Inactive(file): 30504504 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 166616 kB Writeback: 0 kB AnonPages: 19953996 kB Mapped: 124304 kB Shmem: 18064 kB KReclaimable: 178748 kB Slab: 278720 kB SReclaimable: 178748 kB SUnreclaim: 99972 kB KernelStack: 5280 kB PageTables: 42772 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 20529912 kB VmallocTotal: 34359738367 kB VmallocUsed: 151576 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 19566592 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430444 MiB End job on nodeC014 at 2025-07-03 20:41:50