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) | -54 | 3600.32 | 3554.99 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb |
| MD5SUM | ad730d72a9718c13a4974a6db9713293 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -78 |
| Best CPU time to get the best result obtained on this benchmark | 3600.09 |
| 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 | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 47 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15706 |
| Sum of products size (including duplicates) | 31412 |
| Number of different products | 7853 |
| Sum of products size | 15706 |
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.08 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.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 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.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4498112-1751272226.opb 0.12/0.13 c reading problem ... 0.12/0.13 c objective function found 0.32/0.28 c ... done. Wall clock time 0.151s. 0.32/0.28 c declared #vars 500 0.32/0.28 c internal #vars 8353 0.32/0.28 c #constraints 16706 0.32/0.28 c constraints type 0.32/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7853 0.32/0.28 c org.sat4j.specs.Constr$1 => 529 0.32/0.28 c org.sat4j.pb.constraints.pb.UnitClausesPB => 453 0.32/0.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7853 0.32/0.28 c org.sat4j.pb.constraints.pb.UnitClausePB => 18 0.32/0.28 c 16706 constraints processed. 0.32/0.29 c objective function length is 500 literals 0.52/0.33 c SATISFIABLE 0.52/0.33 c OPTIMIZING... 0.52/0.33 c Got one! Elapsed wall clock time (in seconds):0.199 0.52/0.33 o -50 1.79/1.10 c cleaning 2501 clauses out of 5001 with flag 10512/5001 2.71/1.75 c cleaning 4250 clauses out of 8500 with flag 23180/11001 2.83/1.81 c Got one! Elapsed wall clock time (in seconds):1.682 2.83/1.81 o -51 2.83/1.82 c Got one! Elapsed wall clock time (in seconds):1.693 2.83/1.82 o -52 3.49/2.45 c cleaning 4974 clauses out of 9952 with flag 11113/16703 4.10/3.07 c cleaning 5485 clauses out of 10977 with flag 23737/22702 4.96/3.82 c cleaning 6247 clauses out of 12493 with flag 38454/29703 6.03/4.85 c cleaning 7121 clauses out of 14245 with flag 55313/37702 6.52/5.39 c Got one! Elapsed wall clock time (in seconds):5.267 6.52/5.39 o -53 7.78/6.51 c cleaning 8594 clauses out of 17200 with flag 11858/47778 8.57/7.29 c cleaning 7297 clauses out of 14606 with flag 25861/53778 9.49/8.15 c cleaning 7155 clauses out of 14310 with flag 42360/60779 10.56/9.14 c cleaning 7578 clauses out of 15155 with flag 59548/68779 11.94/10.48 c cleaning 8281 clauses out of 16576 with flag 78417/77778 13.34/11.87 c cleaning 9148 clauses out of 18295 with flag 99461/87778 15.31/13.78 c cleaning 10070 clauses out of 20147 with flag 122514/98778 17.08/15.46 c cleaning 11038 clauses out of 22079 with flag 147639/110780 18.18/16.55 c Got one! Elapsed wall clock time (in seconds):16.427 18.18/16.55 o -54 19.35/17.64 c cleaning 11764 clauses out of 23537 with flag 10559/123276 20.29/18.49 c cleaning 8883 clauses out of 17774 with flag 23154/129277 21.13/19.29 c cleaning 7941 clauses out of 15890 with flag 37836/136276 22.31/20.36 c cleaning 7967 clauses out of 15948 with flag 54647/144275 23.51/21.52 c cleaning 8492 clauses out of 16984 with flag 73598/153278 24.97/22.97 c cleaning 9245 clauses out of 18489 with flag 94675/163275 26.65/24.61 c cleaning 10122 clauses out of 20246 with flag 117856/174277 28.73/26.61 c cleaning 11062 clauses out of 22123 with flag 143191/186276 31.13/28.96 c cleaning 12029 clauses out of 24062 with flag 170494/199277 33.61/31.49 c cleaning 13006 clauses out of 26031 with flag 199933/213275 37.03/34.60 c cleaning 14007 clauses out of 28025 with flag 233290/228275 42.02/39.58 c cleaning 15008 clauses out of 30018 with flag 271612/244275 48.12/45.54 c cleaning 16003 clauses out of 32010 with flag 312745/261275 55.24/52.55 c cleaning 17005 clauses out of 34009 with flag 359151/279277 61.97/59.11 c cleaning 18002 clauses out of 36003 with flag 404624/298276 69.64/66.82 c cleaning 18998 clauses out of 38000 with flag 454635/318275 78.70/75.41 c cleaning 19997 clauses out of 40002 with flag 506720/339275 86.49/83.17 c cleaning 21002 clauses out of 42005 with flag 562373/361275 95.38/91.86 c cleaning 22002 clauses out of 44004 with flag 618997/384276 106.17/102.58 c cleaning 22999 clauses out of 46001 with flag 679368/408275 117.66/113.94 c cleaning 23998 clauses out of 48003 with flag 741021/433276 129.87/126.00 c cleaning 25003 clauses out of 50005 with flag 805988/459276 142.34/138.31 c cleaning 26001 clauses out of 52002 with flag 875228/486276 156.44/152.32 c cleaning 26998 clauses out of 54000 with flag 948067/514275 167.22/163.06 c cleaning 27995 clauses out of 56004 with flag 1018444/543277 183.68/178.74 c cleaning 28997 clauses out of 58007 with flag 1091630/573275 197.15/192.22 c cleaning 30005 clauses out of 60011 with flag 1167513/604276 212.24/207.23 c cleaning 31000 clauses out of 62006 with flag 1244962/636276 225.61/220.46 c cleaning 32001 clauses out of 64006 with flag 1325121/669276 245.88/240.55 c cleaning 33002 clauses out of 66005 with flag 1410220/703276 261.60/256.10 c cleaning 33997 clauses out of 68002 with flag 1492827/738275 280.85/275.14 c cleaning 35001 clauses out of 70007 with flag 1581127/774277 304.26/297.70 c cleaning 36000 clauses out of 72005 with flag 1674919/811276 324.90/318.35 c cleaning 36995 clauses out of 74004 with flag 1766205/849275 341.25/334.61 c cleaning 38001 clauses out of 76009 with flag 1858436/888275 359.43/352.68 c cleaning 39002 clauses out of 78009 with flag 1956475/928276 376.00/368.88 c cleaning 40003 clauses out of 80006 with flag 2056975/969275 388.35/381.05 c cleaning 41001 clauses out of 82003 with flag 2153100/1011275 399.57/392.13 c cleaning 41997 clauses out of 84003 with flag 2248609/1054276 412.42/404.61 c cleaning 42997 clauses out of 86005 with flag 2348413/1098275 424.92/415.78 c cleaning 43998 clauses out of 88008 with flag 2446348/1143275 437.32/428.00 c cleaning 45003 clauses out of 90011 with flag 2543263/1189276 453.52/443.96 c cleaning 45997 clauses out of 92007 with flag 2642328/1236275 466.97/457.27 c cleaning 47005 clauses out of 94011 with flag 2743700/1284276 481.47/471.49 c cleaning 48000 clauses out of 96006 with flag 2846859/1333276 496.64/486.33 c cleaning 49003 clauses out of 98005 with flag 2952540/1383275 511.39/500.90 c cleaning 49995 clauses out of 100002 with flag 3060145/1434275 525.96/514.10 c cleaning 51004 clauses out of 102007 with flag 3169788/1486275 541.97/529.75 c cleaning 51994 clauses out of 104006 with flag 3281421/1539278 562.40/550.04 c cleaning 53000 clauses out of 106010 with flag 3395498/1593276 580.13/567.56 c cleaning 54001 clauses out of 108010 with flag 3511734/1648276 596.61/583.74 c cleaning 55002 clauses out of 110008 with flag 3630310/1704275 615.06/601.97 c cleaning 56001 clauses out of 112006 with flag 3750366/1761275 633.77/620.34 c cleaning 57002 clauses out of 114005 with flag 3872831/1819275 660.89/647.13 c cleaning 57998 clauses out of 116004 with flag 3997302/1878276 681.88/667.82 c cleaning 59004 clauses out of 118007 with flag 4123964/1938277 699.72/683.77 c cleaning 59995 clauses out of 120002 with flag 4252658/1999276 722.98/706.88 c cleaning 60995 clauses out of 122006 with flag 4382826/2061275 744.00/727.53 c cleaning 62005 clauses out of 124012 with flag 4515719/2124276 760.74/743.96 c cleaning 62999 clauses out of 126007 with flag 4650839/2188276 775.69/758.75 c cleaning 63993 clauses out of 128007 with flag 4787887/2253275 793.64/776.31 c cleaning 65004 clauses out of 130014 with flag 4926683/2319275 820.01/802.33 c cleaning 66006 clauses out of 132011 with flag 5067800/2386276 844.61/826.60 c cleaning 66999 clauses out of 134004 with flag 5210512/2454275 878.12/859.83 c cleaning 67995 clauses out of 136006 with flag 5355270/2523276 915.66/897.01 c cleaning 69005 clauses out of 138011 with flag 5502233/2593276 950.70/931.77 c cleaning 69998 clauses out of 140006 with flag 5651589/2664276 971.51/952.19 c cleaning 70999 clauses out of 142008 with flag 5802790/2736276 996.69/975.86 c cleaning 72002 clauses out of 144011 with flag 5956516/2809278 1020.68/999.31 c cleaning 73002 clauses out of 146008 with flag 6112276/2883277 1045.30/1023.74 c cleaning 73999 clauses out of 148004 with flag 6270403/2958275 1070.33/1048.48 c cleaning 75003 clauses out of 150005 with flag 6430587/3034275 1098.89/1076.81 c cleaning 75992 clauses out of 152003 with flag 6593516/3111276 1127.42/1104.82 c cleaning 76999 clauses out of 154011 with flag 6758535/3189276 1166.66/1143.56 c cleaning 77997 clauses out of 156012 with flag 6925344/3268276 1195.99/1172.66 c cleaning 79005 clauses out of 158016 with flag 7093323/3348277 1221.93/1198.22 c cleaning 80003 clauses out of 160009 with flag 7263871/3429275 1250.71/1226.81 c cleaning 80993 clauses out of 162006 with flag 7436102/3511275 1279.16/1254.80 c cleaning 82003 clauses out of 164014 with flag 7610446/3594276 1313.06/1288.38 c cleaning 83003 clauses out of 166010 with flag 7786551/3678275 1345.97/1321.05 c cleaning 83997 clauses out of 168007 with flag 7965134/3763275 1378.26/1353.03 c cleaning 85002 clauses out of 170010 with flag 8146000/3849275 1420.81/1395.24 c cleaning 86004 clauses out of 172009 with flag 8329047/3936276 1461.05/1432.90 c cleaning 87001 clauses out of 174004 with flag 8513961/4024275 1505.53/1477.00 c cleaning 87988 clauses out of 176003 with flag 8701317/4113275 1556.36/1527.65 c cleaning 89002 clauses out of 178016 with flag 8890995/4203276 1614.04/1585.19 c cleaning 90001 clauses out of 180013 with flag 9082528/4294275 1664.40/1635.04 c cleaning 91005 clauses out of 182013 with flag 9276131/4386276 1722.21/1692.63 c cleaning 92000 clauses out of 184007 with flag 9471697/4479275 1773.10/1743.31 c cleaning 92999 clauses out of 186010 with flag 9669070/4573278 1824.58/1794.18 c cleaning 94001 clauses out of 188010 with flag 9868570/4668277 1869.92/1839.24 c cleaning 94994 clauses out of 190008 with flag 10070016/4764276 1904.26/1873.32 c cleaning 96007 clauses out of 192014 with flag 10274523/4861276 1954.46/1923.19 c cleaning 97004 clauses out of 194007 with flag 10480359/4959276 2000.81/1969.24 c cleaning 97998 clauses out of 196002 with flag 10688879/5058275 2051.56/2019.36 c cleaning 99002 clauses out of 198004 with flag 10899641/5158275 2100.28/2067.74 c cleaning 99998 clauses out of 200003 with flag 11111749/5259276 2146.98/2114.37 c cleaning 100998 clauses out of 202005 with flag 11324923/5361276 2190.22/2157.00 c cleaning 101993 clauses out of 204006 with flag 11540262/5464275 2236.05/2202.63 c cleaning 103004 clauses out of 206015 with flag 11757722/5568277 2280.57/2246.48 c cleaning 103994 clauses out of 208011 with flag 11977074/5673277 2328.71/2294.41 c cleaning 105003 clauses out of 210015 with flag 12198932/5779275 2395.90/2359.46 c cleaning 106003 clauses out of 212013 with flag 12422038/5886276 2461.88/2425.15 c cleaning 107003 clauses out of 214009 with flag 12647318/5994275 2521.34/2484.49 c cleaning 108001 clauses out of 216007 with flag 12875054/6103276 2575.30/2537.72 c cleaning 109000 clauses out of 218005 with flag 13104856/6213275 2631.53/2593.61 c cleaning 109992 clauses out of 220005 with flag 13337075/6324275 2703.20/2665.11 c cleaning 111000 clauses out of 222013 with flag 13571564/6436275 2767.30/2728.69 c cleaning 111998 clauses out of 224013 with flag 13808388/6549275 2841.16/2802.23 c cleaning 113004 clauses out of 226017 with flag 14047141/6663277 2917.13/2878.11 c cleaning 113997 clauses out of 228011 with flag 14288128/6778275 2998.36/2958.94 c cleaning 115002 clauses out of 230017 with flag 14531367/6894278 3080.67/3041.07 c cleaning 115999 clauses out of 232013 with flag 14775639/7011276 3139.72/3099.39 c cleaning 116998 clauses out of 234013 with flag 15022573/7129275 3200.98/3160.36 c cleaning 118002 clauses out of 236015 with flag 15272162/7248275 3255.58/3214.89 c cleaning 119005 clauses out of 238013 with flag 15523840/7368275 3335.58/3294.12 c cleaning 120000 clauses out of 240009 with flag 15777611/7489276 3401.70/3360.16 c cleaning 120997 clauses out of 242009 with flag 16034284/7611276 3463.14/3420.93 c cleaning 121998 clauses out of 244011 with flag 16292819/7734275 3528.95/3486.53 c cleaning 123003 clauses out of 246014 with flag 16553626/7858276 3599.61/3554.45 c cleaning 124000 clauses out of 248011 with flag 16815030/7983276 3600.01/3554.81 c starts : 14740 3600.01/3554.81 c conflicts : 7984893 3600.01/3554.82 c decisions : 14664857 3600.01/3554.82 c propagations : 52050109 3600.01/3554.82 c inspects : 12323444957 3600.01/3554.82 c shortcuts : 0 3600.01/3554.82 c learnt literals : 0 3600.01/3554.82 c learnt binary clauses : 0 3600.01/3554.82 c learnt ternary clauses : 0 3600.01/3554.82 c learnt constraints : 7984893 3600.01/3554.82 c ignored constraints : 0 3600.01/3554.82 c root simplifications : 0 3600.01/3554.82 c removed literals (reason simplification) : 139478915 3600.01/3554.82 c reason swapping (by a shorter reason) : 0 3600.01/3554.82 c Calls to reduceDB : 135 3600.01/3554.82 c Number of update (reduction) of LBD : 137792 3600.01/3554.82 c Imported unit clauses : 0 3600.01/3554.82 c No decision after first conflict : false 3600.01/3554.82 c number of reductions to clauses (during analyze) : 0 3600.01/3554.82 c number of learned constraints concerned by reduction : 0 3600.01/3554.82 c number of learning phase by resolution : 0 3600.01/3554.82 c number of learning phase by cutting planes : 0 3600.01/3554.82 c number of rounding to 1 operations : 0 3600.01/3554.82 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3554.82 c number of reductions of the coefficients by power 2 : 0 3600.01/3554.82 c number of right shift for reduction by power 2 : 0 3600.01/3554.82 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3554.82 c number of ending skipping : 0 3600.01/3554.82 c number of internal skipping : 0 3600.01/3554.82 c number of derivation steps : 0 3600.01/3554.82 c number of skipped derivation steps : 0 3600.01/3554.82 c number of remaining unassigned : 0 3600.01/3554.82 c number of remaining assigned : 0 3600.01/3554.82 c number of falsified literals weakened from reason : 0 3600.01/3554.82 c number of falsified literals weakened from conflict : 0 3600.01/3554.82 c time for arithmetic operations : 0 3600.01/3554.83 c minimum degree of deleted constraints : null 3600.01/3554.83 c maximum degree of deleted constraints : null 3600.01/3554.83 c number of deleted constraints : 0 3600.01/3554.83 c speed (assignments/second) : 14643.345675355033 3600.01/3554.83 c non guided choices : 0 3600.22/3554.90 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 125628 3600.22/3554.90 s SATISFIABLE 3600.22/3554.92 c Found 5 solution(s) 3600.22/3554.92 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 3600.22/3554.92 c objective function=-54 3600.22/3554.93 c Total wall clock time (in seconds): 3554.793
OK -54
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 (62707 MiB free)
memory of node 1: 64507 MiB (60943 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498112-1751272226/watcher-4498112-1751272226 -o /tmp/evaluation-result-4498112-1751272226/solver-4498112-1751272226 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751272214-38931 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498112-1751272226.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 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=39508, runsolver pid=39505
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.66 2.78 3.43 6/314 39526
/proc/meminfo: memFree=126588064/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=18930384 memory=57796 CPUtime=0.12 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 6563 0 0 0 10 2 0 0 20 0 18 0 42900316 19384713216 14449 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4732596 14449 5360 1 0 547619 0
[pid=39508/tid=39510] ppid=39505 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 5071 0 0 0 6 1 0 0 20 0 18 0 42900317 19384713216 14449 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=18930384 memory=16195 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42900320 19384713216 14449 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 42900320 19384713216 14449 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57796 KiB
[startup+0.205767 s]*
/proc/loadavg: 2.66 2.78 3.43 5/316 39530
/proc/meminfo: memFree=126587920/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=18930384 memory=68268 CPUtime=0.32 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 7036 0 0 0 30 2 0 0 20 0 18 0 42900316 19384713216 17067 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4732596 17067 5456 1 0 547885 0
[pid=39508/tid=39510] ppid=39505 vsize=18930384 memory=3472328300254199928 CPUtime=0.18 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 5306 0 0 0 17 1 0 0 20 0 18 0 42900317 19384713216 17067 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=18930384 memory=224227754321 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42900320 19384713216 17067 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=18930384 memory=59585004335488 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 42900320 19384713216 17067 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68268 KiB
[startup+0.305799 s]*
/proc/loadavg: 2.66 2.78 3.43 5/316 39532
/proc/meminfo: memFree=126573820/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=18930384 memory=95500 CPUtime=0.52 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 8875 0 0 0 49 3 0 0 20 0 18 0 42900316 19384713216 23875 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4732596 23875 5488 1 0 549012 0
[pid=39508/tid=39510] ppid=39505 vsize=18930384 memory=-7305801237110283902 CPUtime=0.27 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 5403 0 0 0 25 2 0 0 20 0 18 0 42900317 19384713216 23875 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42900320 19384713216 23875 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 42900320 19384713216 23875 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95500 KiB
[startup+0.700199 s]
/proc/loadavg: 2.66 2.78 3.43 6/315 39552
/proc/meminfo: memFree=126575380/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=18996948 memory=113104 CPUtime=1.28 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 11557 0 0 0 124 4 0 0 20 0 19 0 42900316 19452874752 28276 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4749237 28276 5488 1 0 550951 0
[pid=39508/tid=39510] ppid=39505 vsize=18996948 memory=17792 CPUtime=0.63 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 5471 0 0 0 61 2 0 0 20 0 19 0 42900317 19452874752 28276 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42900320 19452874752 28276 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 42900320 19452874752 28276 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42900347 19452874752 28276 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113104 KiB
[startup+1.50021 s]
/proc/loadavg: 2.66 2.78 3.43 6/337 39582
/proc/meminfo: memFree=126485572/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=208416 CPUtime=2.43 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 14750 0 0 0 236 7 0 0 20 0 20 0 42900316 19521036288 52104 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 52104 5520 1 0 551293 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=10752 CPUtime=1.39 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 6545 0 0 0 135 4 0 0 20 0 20 0 42900317 19521036288 52104 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 52104 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 52104 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 52104 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 208416 KiB
[startup+3.10559 s]
/proc/loadavg: 2.85 2.81 3.43 5/338 39583
/proc/meminfo: memFree=126268580/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=283360 CPUtime=4.2 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 18123 0 0 0 410 10 0 0 20 0 20 0 42900316 19521036288 70840 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 70840 5552 1 0 551474 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=10752 CPUtime=2.91 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 7001 0 0 0 287 4 0 0 20 0 20 0 42900317 19521036288 70840 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=-6000919485675299692 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 70840 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 70840 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 70840 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 283360 KiB
[startup+6.30023 s]
/proc/loadavg: 2.85 2.81 3.43 6/338 39583
/proc/meminfo: memFree=126092460/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=511356 CPUtime=7.58 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 19175 0 0 0 743 15 0 0 20 0 20 0 42900316 19521036288 127839 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 127839 5552 1 0 783319 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=0 CPUtime=5.88 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 7151 0 0 0 584 4 0 0 20 0 20 0 42900317 19521036288 127839 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 127839 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 127839 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=209184 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 127839 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 7.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 511356 KiB
[startup+12.7002 s]
/proc/loadavg: 2.94 2.83 3.44 5/339 39584
/proc/meminfo: memFree=125548708/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=938112 CPUtime=14.3 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 23714 0 0 0 1405 25 0 0 20 0 20 0 42900316 19521036288 234528 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 234528 5552 1 0 783505 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=209184 CPUtime=11.98 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 7965 0 0 0 1191 7 0 0 20 0 20 0 42900317 19521036288 234528 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=598016 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 234528 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=850020 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 234528 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=-6000919507049472876 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 234528 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 938112 KiB
[startup+25.5003 s]
/proc/loadavg: 3.25 2.91 3.45 5/339 39585
/proc/meminfo: memFree=124626260/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=1595484 CPUtime=27.63 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 29122 0 0 0 2722 41 0 0 20 0 20 0 42900316 19521036288 398871 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 398871 5552 1 0 917194 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=850020 CPUtime=24.29 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 9066 0 0 0 2419 10 0 0 20 0 20 0 42900317 19521036288 398871 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=1507416 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 398871 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=21996 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 398871 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=4480 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 398871 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 27.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1595484 KiB
[startup+51.1059 s]
/proc/loadavg: 3.59 3.01 3.47 5/340 39653
/proc/meminfo: memFree=123771148/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=2311520 CPUtime=53.71 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 31401 0 0 0 5315 56 0 0 20 0 20 0 42900316 19521036288 577880 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 577880 5552 1 0 1044616 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=1328920 CPUtime=49.33 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 9788 0 0 0 4920 13 0 0 20 0 20 0 42900317 19521036288 577880 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=2311520 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 577880 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=2311520 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/341 39894
/proc/meminfo: memFree=95165888/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=13354848 CPUtime=3263.43 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 240250 0 0 0 325942 401 0 0 20 0 20 0 42900316 19521036288 3338712 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 3338712 5584 1 0 3934117 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=13352696 CPUtime=3176.25 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 135361 0 0 0 317546 79 0 0 20 0 20 0 42900317 19521036288 3338712 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=13350612 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3338712 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=13350612 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 1982 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3338712 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 3338712 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 3263.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13354848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/342 39903
/proc/meminfo: memFree=95162208/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=13356896 CPUtime=3323.81 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 244664 0 0 0 331978 403 0 0 20 0 20 0 42900316 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 3339224 5584 1 0 3934117 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=13354848 CPUtime=3235.57 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 138792 0 0 0 323478 79 0 0 20 0 20 0 42900317 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=13356896 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=13356896 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 3323.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13356896 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/342 39905
/proc/meminfo: memFree=94882312/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=13356896 CPUtime=3383.94 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 247981 0 0 0 337990 404 0 0 20 0 20 0 42900316 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 3339224 5584 1 0 3934117 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=13356896 CPUtime=3295.1 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 141780 0 0 0 329430 80 0 0 20 0 20 0 42900317 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=13356896 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=13356896 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 2066 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=13356896 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 3339224 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 3383.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13356896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/342 39907
/proc/meminfo: memFree=94160872/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=13854660 CPUtime=3444.57 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 254062 0 0 0 344041 416 0 0 20 0 20 0 42900316 19521036288 3463665 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 3463665 5584 1 0 3934117 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=13356896 CPUtime=3354.15 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 146334 0 0 0 335335 80 0 0 20 0 20 0 42900317 19521036288 3463665 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=13356896 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3463665 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=13350612 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 2142 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3463665 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 3463665 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 3444.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13854660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/340 39909
/proc/meminfo: memFree=93758616/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=14254020 CPUtime=3504.81 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 257342 0 0 0 350055 426 0 0 20 0 20 0 42900316 19521036288 3563505 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 3563505 5584 1 0 3934117 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=13356896 CPUtime=3413.62 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 149323 0 0 0 341282 80 0 0 20 0 20 0 42900317 19521036288 3563505 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=13356896 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3563505 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 2184 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3563505 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=14254020 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 3563505 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 3504.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14254020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/340 39911
/proc/meminfo: memFree=93153124/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=14853856 CPUtime=3567.07 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 268472 0 0 0 356265 442 0 0 20 0 20 0 42900316 19521036288 3713464 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 3713464 5584 1 0 4082833 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=4380 CPUtime=3473.26 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 155581 0 0 0 347234 92 0 0 20 0 20 0 42900317 19521036288 3713464 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=13359028 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3713464 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 2306 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3713464 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 3713464 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 3567.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14853856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3554.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/338 39913
/proc/meminfo: memFree=93115872/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19063512 memory=14884576 CPUtime=3600.01 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 272342 0 0 0 359558 443 0 0 20 0 20 0 42900316 19521036288 3721144 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4765878 3721144 5584 1 0 4082833 0
[pid=39508/tid=39510] ppid=39505 vsize=19063512 memory=12416 CPUtime=3505.16 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 158370 0 0 0 350423 93 0 0 20 0 20 0 42900317 19521036288 3721144 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19063512 memory=-6000919485675299692 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3721144 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19063512 memory=-2609696782012263719 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 2387 0 0 0 0 0 0 0 20 0 20 0 42900320 19521036288 3721144 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39533] ppid=39505 vsize=19063512 memory=14884576 CPUtime=0 cores=5,7
/proc/39508/task/39533/stat : 39533 (Timer-0) S 39505 39508 38440 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42900347 19521036288 3721144 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14884576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3554.99 s]
# the end of solver process 39508 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.84 s, system=4.48102 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3554.9 s]
/proc/loadavg: 4.10 4.11 4.09 5/338 39913
/proc/meminfo: memFree=93115872/131249996 swapFree=33010684/33010684
[pid=39508] ppid=39505 vsize=19263204 memory=14885344 CPUtime=3600.22 cores=5,7
/proc/39508/stat : 39508 (java) S 39505 39508 38440 0 -1 4194304 274325 0 0 0 359578 444 0 0 20 0 21 0 42900316 19725520896 3721336 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
/proc/39508/statm: 4815801 3721336 5584 1 0 4083780 0
[pid=39508/tid=39510] ppid=39505 vsize=19263204 memory=14824 CPUtime=3505.25 cores=5,7
/proc/39508/task/39510/stat : 39510 (java) R 39505 39508 38440 0 -1 4194368 158464 0 0 0 350432 93 0 0 20 0 21 0 42900317 19725520896 3721336 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39519] ppid=39505 vsize=19263204 memory=17792 CPUtime=0 cores=5,7
/proc/39508/task/39519/stat : 39519 (Finalizer) S 39505 39508 38440 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 42900320 19725520896 3721336 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
[pid=39508/tid=39526] ppid=39505 vsize=19263204 memory=14884576 CPUtime=0 cores=5,7
/proc/39508/task/39526/stat : 39526 (Common-Cleaner) S 39505 39508 38440 0 -1 4194368 2387 0 0 0 0 0 0 0 20 0 21 0 42900320 19725520896 3721336 18446744073709551615 94826179403776 94826179407472 140723359901424 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826179415288 94826179416080 94826190757888 140723359906177 140723359906278 140723359906278 140723359911880 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14885344 KiB
Child status: 143
Real time (s): 3554.99
CPU time (s): 3600.32
CPU user time (s): 3595.84
CPU system time (s): 4.48102
CPU usage (%): 101.275
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14885344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.84
system time used= 4.48102
maximum resident set size= 14885600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112874
involuntary context switches= 22381
# summary of solver processes directly reported to runsolver:
# pid: 39508
# total CPU time (s): 3600.32
# total CPU user time (s): 3595.84
# total CPU system time (s): 4.48102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34878 second user time and 17.4994 second system time
The end
Begin job on nodeC017 at 2025-06-30 10:30:26 IDJOB=4498112 IDBENCH=148524 IDSOLVER=3363 FILE ID=nodeC017/4498112-1751272226 RUNJOBID= nodeC017-1751272214-38931 SLURM_JOB_ID= 9594184 Free space on /tmp= 433012 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498112-1751272226/watcher-4498112-1751272226 -o /tmp/evaluation-result-4498112-1751272226/solver-4498112-1751272226 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751272214-38931 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498112-1751272226.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ad730d72a9718c13a4974a6db9713293 RANDOM SEED=1409825697 nodeC017 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.060 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.12 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.058 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.12 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 : 3603.944 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.12 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 : 3602.696 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.12 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.058 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.12 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 : 3599.352 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.12 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 : 3600.093 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.12 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.062 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126619908 kB MemAvailable: 129393324 kB Buffers: 2380 kB Cached: 3544976 kB SwapCached: 0 kB Active: 702608 kB Inactive: 3239648 kB Active(anon): 412968 kB Inactive(anon): 12 kB Active(file): 289640 kB Inactive(file): 3239636 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3968 kB Writeback: 12 kB AnonPages: 398172 kB Mapped: 122960 kB Shmem: 18080 kB KReclaimable: 166360 kB Slab: 254580 kB SReclaimable: 166360 kB SUnreclaim: 88220 kB KernelStack: 4864 kB PageTables: 4232 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 4812140 kB VmallocTotal: 34359738367 kB VmallocUsed: 151080 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 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: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 433012 MiB End job on nodeC017 at 2025-06-30 11:29:41