Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | MSAT (TO) | 3600.34 | 3575.95 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-509_wcsp.wbo |
| MD5SUM | 506a92b17493b20cc36a94510db5babf |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 36446 |
| Best CPU time to get the best result obtained on this benchmark | 1.64065 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1000 |
| Total number of constraints | 12591 |
| Number of soft constraints | 12243 |
| Number of constraints which are clauses | 12243 |
| Number of constraints which are cardinality constraints (but not clauses) | 348 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 4 |
| Top cost | 55572 |
| Min constraint cost | 1 |
| Max constraint cost | 55572 |
| Sum of constraints costs | 661084511 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| 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.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.13 c Pseudo Boolean Optimization by upper bound 0.13/0.13 c --- Begin Solver configuration --- 0.13/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.13/0.13 c Learn all clauses as in MiniSAT 0.13/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.13 c Expensive reason simplification 0.13/0.13 c Glucose 2.1 dynamic restart strategy 0.13/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.13/0.13 c timeout=2147483s 0.13/0.13 c DB Simplification allowed=false 0.13/0.13 c Listener: none 0.13/0.13 c --- End Solver configuration --- 0.13/0.13 c solving HOME/instance-4526360-1751631839.wbo 0.13/0.13 c reading problem ... 0.33/0.31 c ... done. Wall clock time 0.174s. 0.33/0.31 c declared #vars 1000 0.52/0.31 c internal #vars 13243 0.52/0.31 c #constraints 12940 0.52/0.31 c constraints type 0.52/0.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 740 0.52/0.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 152 0.52/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 0.52/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 12047 0.52/0.31 c 12940 constraints processed. 0.52/0.32 c objective function length is 12243 literals 0.71/0.42 c SATISFIABLE 0.71/0.42 c OPTIMIZING... 0.71/0.42 c Got one! Elapsed wall clock time (in seconds):0.294 0.71/0.42 o 40478 0.71/0.49 c Got one! Elapsed wall clock time (in seconds):0.36 0.71/0.49 o 40477 3.47/2.20 c cleaning 2513 clauses out of 5026 with flag 15424/5026 5.01/3.66 c cleaning 4255 clauses out of 8514 with flag 31927/11027 6.72/5.38 c cleaning 5629 clauses out of 11257 with flag 50941/18025 8.72/7.31 c cleaning 6814 clauses out of 13628 with flag 71288/26025 10.95/9.52 c cleaning 7908 clauses out of 15815 with flag 95355/35026 13.39/11.92 c cleaning 8952 clauses out of 17906 with flag 120559/45025 16.13/14.62 c cleaning 9977 clauses out of 19954 with flag 146889/56025 19.09/17.50 c cleaning 10987 clauses out of 21978 with flag 179014/68026 22.18/20.63 c cleaning 11993 clauses out of 23990 with flag 215269/81025 25.91/24.32 c cleaning 13000 clauses out of 25999 with flag 248916/95027 29.78/28.16 c cleaning 13997 clauses out of 27997 with flag 282931/110025 34.12/32.46 c cleaning 14995 clauses out of 30000 with flag 320960/126025 39.01/37.21 c cleaning 15998 clauses out of 32005 with flag 371608/143025 43.87/42.08 c cleaning 17003 clauses out of 34009 with flag 413763/161027 49.11/47.29 c cleaning 18002 clauses out of 36006 with flag 463727/180027 54.64/52.71 c cleaning 19000 clauses out of 38002 with flag 514820/200025 60.36/58.42 c cleaning 19998 clauses out of 40005 with flag 568657/221028 66.29/64.31 c cleaning 20998 clauses out of 42004 with flag 621940/243025 72.30/70.31 c cleaning 22003 clauses out of 44010 with flag 674575/266029 78.53/76.57 c cleaning 22998 clauses out of 46003 with flag 742129/290025 84.96/82.96 c cleaning 23999 clauses out of 48006 with flag 799479/315026 92.18/89.85 c cleaning 25004 clauses out of 50007 with flag 866211/341026 99.76/97.48 c cleaning 25995 clauses out of 52003 with flag 929382/368026 107.87/105.44 c cleaning 27003 clauses out of 54009 with flag 1003821/396027 116.07/113.56 c cleaning 27999 clauses out of 56006 with flag 1083901/425027 124.77/122.11 c cleaning 28997 clauses out of 58006 with flag 1178937/455026 133.04/130.39 c cleaning 30000 clauses out of 60008 with flag 1273219/486025 142.36/139.65 c cleaning 30997 clauses out of 62009 with flag 1353587/518026 151.85/149.17 c cleaning 32003 clauses out of 64011 with flag 1440154/551025 161.34/158.51 c cleaning 33004 clauses out of 66010 with flag 1526266/585027 170.51/167.72 c cleaning 34003 clauses out of 68007 with flag 1615986/620028 181.85/178.95 c cleaning 34992 clauses out of 70001 with flag 1736238/656025 193.82/190.58 c cleaning 36000 clauses out of 72010 with flag 1852127/693026 204.60/201.29 c cleaning 37000 clauses out of 74009 with flag 1982374/731025 216.10/212.68 c cleaning 38001 clauses out of 76010 with flag 2096563/770026 227.78/224.32 c cleaning 39001 clauses out of 78010 with flag 2206841/810027 239.58/236.10 c cleaning 39999 clauses out of 80008 with flag 2318925/851026 250.72/247.12 c cleaning 41001 clauses out of 82009 with flag 2468176/893026 261.54/257.82 c cleaning 41998 clauses out of 84007 with flag 2605593/936025 273.65/269.89 c cleaning 42997 clauses out of 86009 with flag 2735065/980025 286.52/282.75 c cleaning 44006 clauses out of 88013 with flag 2854000/1025026 301.19/296.64 c cleaning 44998 clauses out of 90007 with flag 2971169/1071026 315.56/310.97 c cleaning 46001 clauses out of 92009 with flag 3079607/1118026 329.64/325.06 c cleaning 46997 clauses out of 94007 with flag 3195022/1166025 343.74/339.17 c cleaning 48003 clauses out of 96011 with flag 3314063/1215026 360.61/355.95 c cleaning 49004 clauses out of 98007 with flag 3431766/1265025 377.28/372.69 c cleaning 49999 clauses out of 100004 with flag 3558599/1316026 394.84/389.97 c cleaning 51002 clauses out of 102005 with flag 3694552/1368026 412.29/407.26 c cleaning 51999 clauses out of 104003 with flag 3871085/1421026 430.19/424.55 c cleaning 53002 clauses out of 106004 with flag 4035184/1475026 447.40/441.76 c cleaning 53999 clauses out of 108001 with flag 4182132/1530025 465.39/459.61 c cleaning 54995 clauses out of 110003 with flag 4332120/1586026 482.46/476.59 c cleaning 56001 clauses out of 112008 with flag 4504150/1643026 499.61/493.58 c cleaning 57002 clauses out of 114006 with flag 4683012/1701025 517.56/511.30 c cleaning 57999 clauses out of 116004 with flag 4857558/1760025 534.01/527.61 c cleaning 58995 clauses out of 118006 with flag 5076423/1820026 553.53/547.06 c cleaning 60001 clauses out of 120012 with flag 5294448/1881027 573.39/566.11 c cleaning 60999 clauses out of 122010 with flag 5498193/1943026 593.26/585.97 c cleaning 62001 clauses out of 124011 with flag 5720569/2006026 614.35/606.95 c cleaning 63004 clauses out of 126011 with flag 5967233/2070027 635.68/628.17 c cleaning 63998 clauses out of 128008 with flag 6188272/2135028 663.36/655.77 c cleaning 65000 clauses out of 130007 with flag 6376105/2201025 685.28/677.50 c cleaning 66001 clauses out of 132008 with flag 6584177/2268026 711.89/704.06 c cleaning 66997 clauses out of 134006 with flag 6824585/2336025 733.99/726.04 c cleaning 68001 clauses out of 136009 with flag 7084460/2405025 764.37/755.67 c cleaning 69003 clauses out of 138009 with flag 7271721/2475026 791.40/782.53 c cleaning 70001 clauses out of 140005 with flag 7497993/2546025 816.53/807.57 c cleaning 70995 clauses out of 142005 with flag 7721096/2618026 843.84/834.70 c cleaning 72001 clauses out of 144009 with flag 7926137/2691025 871.33/862.17 c cleaning 73004 clauses out of 146008 with flag 8164768/2765025 899.81/890.52 c cleaning 73999 clauses out of 148004 with flag 8402543/2840025 928.58/919.23 c cleaning 74999 clauses out of 150005 with flag 8638479/2916025 961.50/952.16 c cleaning 76003 clauses out of 152006 with flag 8874534/2993025 991.19/981.72 c cleaning 76998 clauses out of 154003 with flag 9123562/3071025 1023.49/1013.09 c cleaning 77999 clauses out of 156005 with flag 9349953/3150025 1050.74/1040.15 c cleaning 79003 clauses out of 158007 with flag 9595225/3230026 1081.01/1070.36 c cleaning 80001 clauses out of 160004 with flag 9862729/3311026 1112.09/1101.38 c cleaning 80996 clauses out of 162004 with flag 10178155/3393027 1143.21/1132.47 c cleaning 82000 clauses out of 164006 with flag 10449802/3476025 1176.21/1165.43 c cleaning 83001 clauses out of 166006 with flag 10707110/3560025 1209.47/1198.63 c cleaning 84003 clauses out of 168007 with flag 10999513/3645027 1241.66/1230.88 c cleaning 84995 clauses out of 170003 with flag 11265335/3731026 1273.26/1262.32 c cleaning 85997 clauses out of 172008 with flag 11560411/3818026 1316.33/1305.37 c cleaning 87002 clauses out of 174012 with flag 11830081/3906027 1358.83/1346.40 c cleaning 87999 clauses out of 176008 with flag 12121644/3995025 1394.82/1382.47 c cleaning 88998 clauses out of 178010 with flag 12446104/4085026 1432.66/1420.24 c cleaning 90000 clauses out of 180011 with flag 12803618/4176025 1473.58/1461.26 c cleaning 91001 clauses out of 182013 with flag 13083408/4268027 1513.87/1501.48 c cleaning 91995 clauses out of 184011 with flag 13403415/4361026 1550.35/1537.96 c cleaning 93008 clauses out of 186016 with flag 13700177/4455026 1590.78/1578.42 c cleaning 93999 clauses out of 188008 with flag 13992559/4550026 1633.58/1621.26 c cleaning 95001 clauses out of 190008 with flag 14294177/4646025 1677.10/1664.61 c cleaning 96003 clauses out of 192008 with flag 14620504/4743026 1715.17/1702.51 c cleaning 97003 clauses out of 194005 with flag 14948762/4841026 1752.03/1739.36 c cleaning 97996 clauses out of 196002 with flag 15269035/4940026 1791.18/1778.44 c cleaning 99003 clauses out of 198005 with flag 15596598/5040025 1833.52/1819.05 c cleaning 99994 clauses out of 200002 with flag 15928659/5141025 1878.29/1863.87 c cleaning 101002 clauses out of 202009 with flag 16357873/5243026 1920.61/1905.85 c cleaning 101999 clauses out of 204007 with flag 16681523/5346026 1970.33/1955.59 c cleaning 103004 clauses out of 206009 with flag 16968520/5450027 2014.61/1999.66 c cleaning 103998 clauses out of 208004 with flag 17418978/5555026 2061.43/2046.29 c cleaning 105000 clauses out of 210005 with flag 17841709/5661025 2109.34/2092.40 c cleaning 105998 clauses out of 212005 with flag 18270228/5768025 2159.84/2142.93 c cleaning 106997 clauses out of 214007 with flag 18660423/5876025 2202.44/2185.36 c cleaning 108005 clauses out of 216011 with flag 19063497/5985026 2245.95/2228.75 c cleaning 109001 clauses out of 218005 with flag 19442024/6095025 2294.30/2276.81 c cleaning 110001 clauses out of 220005 with flag 19850559/6206026 2343.86/2326.31 c cleaning 110996 clauses out of 222003 with flag 20212883/6318025 2393.02/2375.31 c cleaning 112000 clauses out of 224007 with flag 20598989/6431025 2458.65/2440.76 c cleaning 113004 clauses out of 226008 with flag 20934761/6545026 2515.96/2496.69 c cleaning 113999 clauses out of 228003 with flag 21376120/6660025 2570.28/2550.75 c cleaning 114997 clauses out of 230004 with flag 21750782/6776025 2646.75/2627.01 c cleaning 116002 clauses out of 232007 with flag 22118779/6893025 2700.78/2680.84 c cleaning 116999 clauses out of 234007 with flag 22511181/7011027 2764.04/2743.93 c cleaning 118001 clauses out of 236006 with flag 22924755/7130025 2813.16/2792.80 c cleaning 119000 clauses out of 238006 with flag 23321465/7250026 2886.73/2866.26 c cleaning 120000 clauses out of 240005 with flag 23679412/7371025 2943.86/2923.15 c cleaning 120997 clauses out of 242005 with flag 24070876/7493025 2998.45/2975.87 c cleaning 121999 clauses out of 244009 with flag 24454280/7616026 3052.83/3030.14 c cleaning 123003 clauses out of 246009 with flag 24788638/7740025 3104.00/3081.19 c cleaning 123999 clauses out of 248006 with flag 25174114/7865025 3160.82/3137.76 c cleaning 124997 clauses out of 250007 with flag 25512194/7991025 3224.66/3201.59 c cleaning 125996 clauses out of 252010 with flag 25896972/8118025 3287.25/3263.96 c cleaning 127003 clauses out of 254014 with flag 26400354/8246025 3355.85/3332.39 c cleaning 128004 clauses out of 256012 with flag 26936463/8375026 3420.00/3396.29 c cleaning 129000 clauses out of 258007 with flag 27367024/8505025 3476.77/3452.71 c cleaning 129998 clauses out of 260007 with flag 27842882/8636025 3537.24/3513.12 c cleaning 130999 clauses out of 262010 with flag 28245890/8768026 3600.07/3575.81 c starts : 8 3600.07/3575.82 c conflicts : 8901027 3600.07/3575.82 c decisions : 12317021 3600.07/3575.82 c propagations : 1343812225 3600.07/3575.82 c inspects : 8368807134 3600.07/3575.82 c shortcuts : 0 3600.07/3575.83 c learnt literals : 0 3600.07/3575.83 c learnt binary clauses : 0 3600.07/3575.83 c learnt ternary clauses : 125 3600.07/3575.83 c learnt constraints : 8901027 3600.07/3575.83 c ignored constraints : 0 3600.07/3575.83 c root simplifications : 0 3600.07/3575.83 c removed literals (reason simplification) : 10984933 3600.07/3575.83 c reason swapping (by a shorter reason) : 0 3600.07/3575.83 c Calls to reduceDB : 129 3600.07/3575.83 c Number of update (reduction) of LBD : 675195 3600.07/3575.83 c Imported unit clauses : 0 3600.07/3575.83 c No decision after first conflict : false 3600.07/3575.83 c number of reductions to clauses (during analyze) : 0 3600.07/3575.83 c number of learned constraints concerned by reduction : 0 3600.07/3575.83 c number of learning phase by resolution : 0 3600.07/3575.83 c number of learning phase by cutting planes : 0 3600.07/3575.83 c number of rounding to 1 operations : 0 3600.07/3575.83 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3575.83 c number of reductions of the coefficients by power 2 : 0 3600.07/3575.83 c number of right shift for reduction by power 2 : 0 3600.07/3575.83 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3575.83 c number of ending skipping : 0 3600.07/3575.83 c number of internal skipping : 0 3600.07/3575.83 c number of derivation steps : 0 3600.07/3575.83 c number of skipped derivation steps : 0 3600.07/3575.83 c number of remaining unassigned : 0 3600.07/3575.83 c number of remaining assigned : 0 3600.07/3575.83 c number of falsified literals weakened from reason : 0 3600.07/3575.84 c number of falsified literals weakened from conflict : 0 3600.07/3575.84 c time for arithmetic operations : 0 3600.07/3575.84 c minimum degree of deleted constraints : null 3600.07/3575.84 c maximum degree of deleted constraints : null 3600.07/3575.85 c number of deleted constraints : 0 3600.07/3575.85 c speed (assignments/second) : 375839.17680837744 3600.07/3575.85 c non guided choices : 71 3600.28/3575.91 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 264012 3600.28/3575.91 s SATISFIABLE 3600.28/3575.91 c Found 2 solution(s) 3600.28/3575.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 -x501 x502 -x503 x504 -x505 x506 x507 -x508 -x509 x510 -x511 x512 -x513 -x514 -x515 x516 -x517 x518 -x519 x520 -x521 -x522 -x523 x524 -x525 x526 -x527 -x528 -x529 x530 -x531 x532 -x533 x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 x542 -x543 x544 -x545 -x546 -x547 x548 -x549 x550 -x551 x552 -x553 x554 -x555 x556 -x557 -x558 -x559 x560 -x561 x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 x570 -x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 x580 -x581 x582 -x583 x584 -x585 -x586 -x587 x588 -x589 x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 x606 -x607 x608 -x609 x610 -x611 x612 -x613 -x614 -x615 x616 x617 -x618 -x619 x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 x628 -x629 x630 -x631 x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 x644 -x645 x646 -x647 x648 -x649 x650 -x651 x652 -x653 x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 x672 x673 -x674 -x675 x676 -x677 x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 x702 -x703 x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 x712 -x713 x714 -x715 x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 x728 -x729 x730 x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 x752 -x753 x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 x778 -x779 x780 -x781 x782 -x783 x784 x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 x794 -x795 x796 -x797 -x798 -x799 x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 x812 -x813 x814 -x815 x816 -x817 x818 -x819 -x820 -x821 x822 x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 x872 -x873 x874 -x875 x876 -x877 x878 -x879 x880 -x881 x882 -x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 x894 -x895 -x896 -x897 x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 -x915 x916 -x917 -x918 -x919 x920 -x921 x922 -x923 -x924 -x925 x926 -x927 x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 x936 -x937 x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 x962 -x963 x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 x996 x997 -x998 -x999 x1000 3600.28/3575.92 c objective function=40477 3600.28/3575.92 c Total wall clock time (in seconds): 3575.792
OK 40477
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 (59860 MiB free)
memory of node 1: 64465 MiB (58181 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526360-1751631839/watcher-4526360-1751631839 -o /tmp/evaluation-result-4526360-1751631839/solver-4526360-1751631839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90088 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526360-1751631839.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=92800, runsolver pid=92797
[startup+0.10006 s]*
/proc/loadavg: 4.34 4.19 4.12 5/337 92818
/proc/meminfo: memFree=120843076/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=18930384 memory=57868 CPUtime=0.13 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 6599 0 0 0 11 2 0 0 20 0 18 0 78806437 19384713216 14467 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4732596 14467 5349 1 0 547624 0
[pid=92800/tid=92802] ppid=92797 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 5084 0 0 0 6 1 0 0 20 0 18 0 78806438 19384713216 14467 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=18930384 memory=237112656212 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78806440 19384713216 14467 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=18930384 memory=60684515937227 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78806440 19384713216 14467 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57868 KiB
[startup+0.205586 s]*
/proc/loadavg: 4.34 4.19 4.12 7/337 92818
/proc/meminfo: memFree=120834884/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=18930384 memory=70332 CPUtime=0.33 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 7056 0 0 0 30 3 0 0 20 0 18 0 78806437 19384713216 17583 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4732596 17583 5445 1 0 547909 0
[pid=92800/tid=92802] ppid=92797 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 5277 0 0 0 15 2 0 0 20 0 18 0 78806438 19384713216 17583 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=18930384 memory=16124 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78806440 19384713216 17583 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78806440 19384713216 17583 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70332 KiB
[startup+0.305539 s]*
/proc/loadavg: 4.34 4.19 4.12 6/337 92818
/proc/meminfo: memFree=120797580/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=18930384 memory=105592 CPUtime=0.52 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 8682 0 0 0 48 4 0 0 20 0 18 0 78806437 19384713216 26398 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4732596 26398 5445 1 0 549067 0
[pid=92800/tid=92802] ppid=92797 vsize=18930384 memory=-6000919476934240870 CPUtime=0.25 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 5323 0 0 0 23 2 0 0 20 0 18 0 78806438 19384713216 26398 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78806440 19384713216 26398 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78806440 19384713216 26398 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105592 KiB
[startup+0.700237 s]
/proc/loadavg: 4.34 4.19 4.12 6/338 92819
/proc/meminfo: memFree=120797580/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=18996948 memory=119536 CPUtime=1.27 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 12951 0 0 0 122 5 0 0 20 0 19 0 78806437 19452874752 29884 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4749237 29884 5477 1 0 551693 0
[pid=92800/tid=92802] ppid=92797 vsize=18996948 memory=18816 CPUtime=0.61 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 5509 0 0 0 59 2 0 0 20 0 19 0 78806438 19452874752 29884 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78806440 19452874752 29884 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78806440 19452874752 29884 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78806472 19452874752 29884 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119536 KiB
[startup+1.5002 s]
/proc/loadavg: 4.34 4.19 4.12 6/338 92819
/proc/meminfo: memFree=120773700/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=18996948 memory=135520 CPUtime=2.66 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 15343 0 0 0 260 6 0 0 20 0 19 0 78806437 19452874752 33880 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4749237 33880 5477 1 0 552360 0
[pid=92800/tid=92802] ppid=92797 vsize=18996948 memory=0 CPUtime=1.4 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 5747 0 0 0 137 3 0 0 20 0 19 0 78806438 19452874752 33880 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78806440 19452874752 33880 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78806440 19452874752 33880 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78806472 19452874752 33880 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 135520 KiB
[startup+3.10534 s]
/proc/loadavg: 4.34 4.19 4.12 5/338 92819
/proc/meminfo: memFree=120740740/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=18996948 memory=164604 CPUtime=4.47 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 19299 0 0 0 440 7 0 0 20 0 19 0 78806437 19452874752 41151 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4749237 41151 5477 1 0 552404 0
[pid=92800/tid=92802] ppid=92797 vsize=18996948 memory=10752 CPUtime=2.99 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 7218 0 0 0 295 4 0 0 20 0 19 0 78806438 19452874752 41151 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=18996948 memory=-6000919476934240870 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78806440 19452874752 41151 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78806440 19452874752 41151 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78806472 19452874752 41151 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 164604 KiB
[startup+6.30017 s]
/proc/loadavg: 4.40 4.20 4.13 5/339 92820
/proc/meminfo: memFree=120683144/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=207052 CPUtime=7.72 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 20502 0 0 0 763 9 0 0 20 0 20 0 78806437 19521036288 51763 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 51763 5573 1 0 552697 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=0 CPUtime=6.14 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 7239 0 0 0 610 4 0 0 20 0 20 0 78806438 19521036288 51763 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 51763 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 51763 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=137568 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 51763 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 7.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207052 KiB
[startup+12.7002 s]
/proc/loadavg: 4.45 4.21 4.13 5/338 92886
/proc/meminfo: memFree=122676156/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=313820 CPUtime=14.23 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 24959 0 0 0 1411 12 0 0 20 0 20 0 78806437 19521036288 78455 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 78455 5573 1 0 552697 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=137568 CPUtime=12.41 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 7909 0 0 0 1237 4 0 0 20 0 20 0 78806438 19521036288 78455 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 78455 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 78455 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=-6000919476934240870 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 78455 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 14.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 313820 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.20 4.13 5/339 92888
/proc/meminfo: memFree=122442788/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=414308 CPUtime=27.11 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 27868 0 0 0 2696 15 0 0 20 0 20 0 78806437 19521036288 103577 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 103577 5573 1 0 552713 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=10752 CPUtime=25.09 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 9327 0 0 0 2505 4 0 0 20 0 20 0 78806438 19521036288 103577 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 103577 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 103577 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=3467831306605638485 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 103577 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 27.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 414308 KiB
[startup+51.1055 s]
/proc/loadavg: 4.31 4.20 4.13 5/339 92888
/proc/meminfo: memFree=122040128/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=764608 CPUtime=53.01 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 29264 0 0 0 5279 22 0 0 20 0 20 0 78806437 19521036288 191152 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 191152 5573 1 0 552713 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=10752 CPUtime=50.33 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 9359 0 0 0 5029 4 0 0 20 0 20 0 78806438 19521036288 191152 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=132 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 191152 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=764608 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/341 94431
/proc/meminfo: memFree=98038728/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=5732436 CPUtime=3245.48 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 156882 0 0 0 324294 254 0 0 20 0 20 0 78806437 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 1433109 5573 1 0 1947827 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=5148 CPUtime=3193.87 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 64280 0 0 0 319307 80 0 0 20 0 20 0 78806438 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 1494 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 3245.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5732436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/342 94434
/proc/meminfo: memFree=98038124/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=5732436 CPUtime=3305.74 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 159177 0 0 0 330317 257 0 0 20 0 20 0 78806437 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 1433109 5573 1 0 1947827 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=5732436 CPUtime=3253.31 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 65033 0 0 0 325251 80 0 0 20 0 20 0 78806438 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 1548 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 3305.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5732436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/341 94436
/proc/meminfo: memFree=98037504/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=5732436 CPUtime=3365.84 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 161417 0 0 0 336325 259 0 0 20 0 20 0 78806437 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 1433109 5573 1 0 1947827 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=4760 CPUtime=3312.91 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 66542 0 0 0 331211 80 0 0 20 0 20 0 78806438 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 1548 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=-6000919476934240870 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 3365.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5732436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/342 94439
/proc/meminfo: memFree=98037640/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=5732436 CPUtime=3426.09 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 163119 0 0 0 342348 261 0 0 20 0 20 0 78806437 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 1433109 5573 1 0 1947827 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=5148 CPUtime=3372.35 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 67272 0 0 0 337155 80 0 0 20 0 20 0 78806438 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 1589 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 3426.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5732436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/342 94441
/proc/meminfo: memFree=98037768/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=5732436 CPUtime=3486.36 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 164748 0 0 0 348372 264 0 0 20 0 20 0 78806437 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 1433109 5573 1 0 1947827 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=14848 CPUtime=3431.77 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 68537 0 0 0 343096 81 0 0 20 0 20 0 78806438 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 3486.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5732436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/342 94443
/proc/meminfo: memFree=98037664/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=5732436 CPUtime=3546.45 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 167293 0 0 0 354379 266 0 0 20 0 20 0 78806437 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 1433109 5573 1 0 1947827 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=5732436 CPUtime=3491.37 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 70183 0 0 0 349056 81 0 0 20 0 20 0 78806438 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 1714 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 1433109 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 3546.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5732436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3575.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/341 94444
/proc/meminfo: memFree=96508584/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19063512 memory=5798132 CPUtime=3600.07 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 168768 0 0 0 359738 269 0 0 20 0 20 0 78806437 19521036288 1449533 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4765878 1449533 5573 1 0 1947827 0
[pid=92800/tid=92802] ppid=92797 vsize=19063512 memory=12416 CPUtime=3544.5 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 70676 0 0 0 354369 81 0 0 20 0 20 0 78806438 19521036288 1449533 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19063512 memory=-6000919476934240870 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1449533 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 20 0 78806440 19521036288 1449533 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92819] ppid=92797 vsize=19063512 memory=21872 CPUtime=0 cores=4,6
/proc/92800/task/92819/stat : 92819 (Timer-0) S 92797 92800 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78806472 19521036288 1449533 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5798132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3575.95 s]
# the end of solver process 92800 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.62 s, system=2.71686 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3575.91 s]
/proc/loadavg: 4.13 4.12 4.09 5/341 94444
/proc/meminfo: memFree=96508584/131250000 swapFree=33010684/33010684
[pid=92800] ppid=92797 vsize=19263204 memory=5798900 CPUtime=3600.28 cores=4,6
/proc/92800/stat : 92800 (java) S 92797 92800 90077 0 -1 4194304 170837 0 0 0 359759 269 0 0 20 0 21 0 78806437 19725520896 1449725 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
/proc/92800/statm: 4815801 1449725 5573 1 0 1948730 0
[pid=92800/tid=92802] ppid=92797 vsize=19263204 memory=10752 CPUtime=3544.61 cores=4,6
/proc/92800/task/92802/stat : 92802 (java) R 92797 92800 90077 0 -1 4194368 70676 0 0 0 354380 81 0 0 20 0 21 0 78806438 19725520896 1449725 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92811] ppid=92797 vsize=19263204 memory=5732436 CPUtime=0 cores=4,6
/proc/92800/task/92811/stat : 92811 (Finalizer) S 92797 92800 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78806440 19725520896 1449725 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
[pid=92800/tid=92818] ppid=92797 vsize=19263204 memory=5798132 CPUtime=0 cores=4,6
/proc/92800/task/92818/stat : 92818 (Common-Cleaner) S 92797 92800 90077 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 21 0 78806440 19725520896 1449725 18446744073709551615 94013183102976 94013183106672 140732293428352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94013183114488 94013183115280 94013192835072 140732293429631 140732293429732 140732293429732 140732293435336 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5798900 KiB
Child status: 143
Real time (s): 3575.95
CPU time (s): 3600.34
CPU user time (s): 3597.62
CPU system time (s): 2.71686
CPU usage (%): 100.682
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5798900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.62
system time used= 2.71686
maximum resident set size= 5799156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112924
involuntary context switches= 7927
# summary of solver processes directly reported to runsolver:
# pid: 92800
# total CPU time (s): 3600.34
# total CPU user time (s): 3597.62
# total CPU system time (s): 2.71686
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54389 second user time and 17.2118 second system time
The end
Begin job on nodeC028 at 2025-07-04 14:23:59 IDJOB=4526360 IDBENCH=144048 IDSOLVER=3380 FILE ID=nodeC028/4526360-1751631839 RUNJOBID= nodeC028-1751628188-90088 SLURM_JOB_ID= 9598960 Free space on /tmp= 431476 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-509_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526360-1751631839/watcher-4526360-1751631839 -o /tmp/evaluation-result-4526360-1751631839/solver-4526360-1751631839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90088 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526360-1751631839.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 506a92b17493b20cc36a94510db5babf RANDOM SEED=591764244 nodeC028 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.088 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.16 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.083 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.16 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 : 3576.553 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.16 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 : 3700.000 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.16 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 : 3572.372 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.16 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.093 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.16 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.323 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.16 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 : 3581.678 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.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 120875268 kB MemAvailable: 122845576 kB Buffers: 3280 kB Cached: 2770548 kB SwapCached: 0 kB Active: 7324796 kB Inactive: 2461292 kB Active(anon): 7030328 kB Inactive(anon): 0 kB Active(file): 294468 kB Inactive(file): 2461292 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1172 kB Writeback: 104 kB AnonPages: 7015328 kB Mapped: 124300 kB Shmem: 18068 kB KReclaimable: 107572 kB Slab: 197684 kB SReclaimable: 107572 kB SUnreclaim: 90112 kB KernelStack: 5148 kB PageTables: 17460 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 7967136 kB VmallocTotal: 34359738367 kB VmallocUsed: 151448 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 6737920 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431224 MiB End job on nodeC028 at 2025-07-04 15:23:35