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) | -58 | 3600.82 | 3480.82 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb |
| MD5SUM | 3e57f143ec316384ecd8a4071d2e7f39 |
| 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 | -86 |
| Best CPU time to get the best result obtained on this benchmark | 3600.2 |
| 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 | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75484 |
| Sum of products size (including duplicates) | 150968 |
| Number of different products | 37742 |
| Sum of products size | 75484 |
0.13/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.13/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.13/0.16 c See www.sat4j.org for details. 0.13/0.18 c version PB25.v20250606 0.13/0.20 c java.runtime.name OpenJDK Runtime Environment 0.13/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.20 c java.vm.version 22.0.1+8-16 0.13/0.20 c java.vm.vendor Oracle Corporation 0.13/0.20 c sun.arch.data.model 64 0.13/0.20 c java.version 22.0.1 0.13/0.20 c os.name Linux 0.13/0.20 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.13/0.20 c os.arch amd64 0.13/0.21 c Free memory 2104792832 0.13/0.21 c Max memory 16282288128 0.13/0.21 c Total memory 2113929216 0.13/0.22 c Number of processors 2 0.31/0.32 c Pseudo Boolean Optimization by upper bound 0.31/0.32 c --- Begin Solver configuration --- 0.31/0.32 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.31/0.32 c Learn all clauses as in MiniSAT 0.31/0.32 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.32 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.31/0.32 c Expensive reason simplification 0.31/0.32 c Glucose 2.1 dynamic restart strategy 0.31/0.32 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.31/0.32 c timeout=2147483s 0.31/0.32 c DB Simplification allowed=false 0.31/0.32 c Listener: none 0.31/0.32 c --- End Solver configuration --- 0.31/0.32 c solving HOME/instance-4498164-1751273082.opb 0.31/0.32 c reading problem ... 0.31/0.32 c objective function found 2.08/1.23 c ... done. Wall clock time 0.91s. 2.08/1.23 c declared #vars 1000 2.08/1.23 c internal #vars 38742 2.08/1.23 c #constraints 77484 2.08/1.23 c constraints type 2.08/1.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37742 2.08/1.23 c org.sat4j.specs.Constr$1 => 1012 2.08/1.23 c org.sat4j.pb.constraints.pb.UnitClausesPB => 963 2.08/1.24 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37742 2.08/1.24 c org.sat4j.pb.constraints.pb.UnitClausePB => 25 2.08/1.24 c 77484 constraints processed. 2.08/1.26 c objective function length is 1000 literals 2.27/1.33 c SATISFIABLE 2.27/1.33 c OPTIMIZING... 2.27/1.33 c Got one! Elapsed wall clock time (in seconds):1.014 2.27/1.33 o -51 2.47/1.40 c Got one! Elapsed wall clock time (in seconds):1.077 2.47/1.40 o -52 2.47/1.49 c Got one! Elapsed wall clock time (in seconds):1.172 2.47/1.49 o -53 2.67/1.53 c Got one! Elapsed wall clock time (in seconds):1.215 2.67/1.53 o -54 3.67/2.05 c Got one! Elapsed wall clock time (in seconds):1.735 3.67/2.05 o -55 6.18/3.30 c cleaning 2866 clauses out of 5733 with flag 10652/5733 6.73/3.89 c Got one! Elapsed wall clock time (in seconds):3.567 6.73/3.89 o -56 7.65/4.32 c Got one! Elapsed wall clock time (in seconds):4.002 7.65/4.32 o -57 8.24/4.70 c cleaning 4374 clauses out of 8748 with flag 2241/11614 10.46/6.84 c cleaning 5187 clauses out of 10373 with flag 14829/17613 13.73/9.53 c cleaning 6094 clauses out of 12187 with flag 29586/24614 16.21/11.82 c cleaning 7045 clauses out of 14093 with flag 46361/32614 19.28/14.70 c cleaning 8024 clauses out of 16047 with flag 65290/41613 24.33/19.65 c cleaning 9012 clauses out of 18024 with flag 86468/51614 28.29/23.39 c cleaning 10002 clauses out of 20012 with flag 109521/62614 33.17/28.03 c cleaning 11003 clauses out of 22009 with flag 134663/74613 33.87/28.71 c Got one! Elapsed wall clock time (in seconds):28.389 33.87/28.71 o -58 35.32/29.89 c cleaning 8240 clauses out of 16494 with flag 6909/80101 38.09/32.41 c cleaning 7127 clauses out of 14254 with flag 20258/86101 40.79/34.94 c cleaning 7063 clauses out of 14129 with flag 35141/93103 43.08/37.26 c cleaning 7525 clauses out of 15064 with flag 51922/101101 47.13/41.12 c cleaning 8270 clauses out of 16540 with flag 70816/110102 51.40/45.01 c cleaning 9135 clauses out of 18270 with flag 91828/120102 55.71/49.01 c cleaning 10061 clauses out of 20134 with flag 114893/131101 60.14/53.25 c cleaning 11033 clauses out of 22074 with flag 140165/143102 65.40/58.27 c cleaning 12014 clauses out of 24041 with flag 167686/156102 71.00/63.63 c cleaning 13010 clauses out of 26026 with flag 197222/170101 79.48/71.19 c cleaning 14003 clauses out of 28018 with flag 228664/185103 89.45/80.58 c cleaning 14999 clauses out of 30013 with flag 263366/201101 101.14/91.81 c cleaning 16008 clauses out of 32015 with flag 305746/218102 114.98/105.43 c cleaning 17004 clauses out of 34007 with flag 350829/236102 132.08/122.05 c cleaning 17998 clauses out of 36003 with flag 396671/255102 148.95/138.61 c cleaning 18998 clauses out of 38004 with flag 445733/275101 164.32/153.53 c cleaning 20001 clauses out of 40006 with flag 497592/296101 187.50/175.16 c cleaning 21001 clauses out of 42005 with flag 554660/318101 207.87/195.21 c cleaning 21999 clauses out of 44004 with flag 611001/341101 230.17/217.25 c cleaning 22998 clauses out of 46005 with flag 668604/365101 250.81/237.41 c cleaning 23999 clauses out of 48007 with flag 727177/390101 273.83/260.00 c cleaning 24996 clauses out of 50008 with flag 788317/416101 297.10/282.67 c cleaning 26007 clauses out of 52013 with flag 852333/443102 325.22/308.48 c cleaning 27000 clauses out of 54005 with flag 920020/471101 355.88/338.35 c cleaning 27999 clauses out of 56007 with flag 991614/500103 382.48/364.54 c cleaning 29000 clauses out of 58007 with flag 1062421/530102 408.51/390.18 c cleaning 29997 clauses out of 60006 with flag 1138447/561101 443.37/424.25 c cleaning 31000 clauses out of 62010 with flag 1217057/593102 482.30/462.78 c cleaning 31998 clauses out of 64009 with flag 1298208/626101 520.07/499.69 c cleaning 33000 clauses out of 66011 with flag 1382689/660101 560.37/537.01 c cleaning 34002 clauses out of 68011 with flag 1470151/695101 597.66/573.83 c cleaning 34999 clauses out of 70009 with flag 1557811/731101 641.37/616.86 c cleaning 36003 clauses out of 72011 with flag 1653942/768102 691.61/666.55 c cleaning 37000 clauses out of 74007 with flag 1752530/806101 740.18/714.41 c cleaning 37999 clauses out of 76009 with flag 1851942/845103 777.25/750.77 c cleaning 39005 clauses out of 78009 with flag 1948943/885102 799.27/769.36 c cleaning 40002 clauses out of 80004 with flag 2035258/926102 822.95/792.26 c cleaning 40999 clauses out of 82002 with flag 2123609/968102 850.80/819.35 c cleaning 41996 clauses out of 84002 with flag 2214094/1011101 879.31/847.03 c cleaning 43000 clauses out of 86006 with flag 2306991/1055101 907.92/874.98 c cleaning 43998 clauses out of 88007 with flag 2401985/1100102 947.19/910.17 c cleaning 45002 clauses out of 90008 with flag 2499090/1146101 974.87/936.45 c cleaning 46000 clauses out of 92007 with flag 2598359/1193102 998.52/958.92 c cleaning 47003 clauses out of 94006 with flag 2699816/1241101 1024.71/984.31 c cleaning 47996 clauses out of 96004 with flag 2803224/1290102 1055.70/1014.16 c cleaning 49003 clauses out of 98008 with flag 2908763/1340102 1084.41/1041.81 c cleaning 49999 clauses out of 100004 with flag 3016107/1391101 1118.85/1075.54 c cleaning 51002 clauses out of 102006 with flag 3125674/1443102 1157.15/1109.91 c cleaning 51997 clauses out of 104006 with flag 3237827/1496104 1196.21/1147.88 c cleaning 53003 clauses out of 106006 with flag 3352150/1550101 1237.62/1188.34 c cleaning 53992 clauses out of 108003 with flag 3468142/1605101 1280.73/1230.27 c cleaning 54998 clauses out of 110012 with flag 3586269/1661102 1331.35/1279.89 c cleaning 55998 clauses out of 112013 with flag 3706904/1718101 1383.69/1331.43 c cleaning 57009 clauses out of 114018 with flag 3829151/1776104 1422.38/1368.89 c cleaning 57998 clauses out of 116007 with flag 3953481/1835102 1476.61/1418.89 c cleaning 59002 clauses out of 118009 with flag 4080181/1895102 1524.41/1465.78 c cleaning 60003 clauses out of 120006 with flag 4208998/1956101 1583.94/1523.80 c cleaning 61002 clauses out of 122004 with flag 4339963/2018102 1648.08/1586.59 c cleaning 61998 clauses out of 124001 with flag 4472956/2081101 1704.09/1641.25 c cleaning 63001 clauses out of 126003 with flag 4607813/2145101 1762.01/1698.33 c cleaning 63998 clauses out of 128002 with flag 4744818/2210101 1817.39/1752.46 c cleaning 64997 clauses out of 130004 with flag 4883844/2276101 1864.86/1794.87 c cleaning 66004 clauses out of 132008 with flag 5024667/2343102 1910.66/1839.43 c cleaning 67002 clauses out of 134004 with flag 5167661/2411102 1964.86/1892.65 c cleaning 67998 clauses out of 136002 with flag 5312754/2480102 2020.01/1946.84 c cleaning 68999 clauses out of 138003 with flag 5460070/2550101 2078.51/2003.47 c cleaning 69998 clauses out of 140005 with flag 5609129/2621102 2144.04/2067.83 c cleaning 70990 clauses out of 142006 with flag 5760217/2693101 2188.95/2111.83 c cleaning 72008 clauses out of 144017 with flag 5912958/2766102 2244.14/2165.23 c cleaning 73002 clauses out of 146008 with flag 6068316/2840101 2287.81/2207.66 c cleaning 73997 clauses out of 148006 with flag 6226016/2915101 2338.74/2253.91 c cleaning 75002 clauses out of 150010 with flag 6385881/2991102 2386.79/2300.35 c cleaning 75997 clauses out of 152008 with flag 6547776/3068102 2444.29/2356.53 c cleaning 77001 clauses out of 154012 with flag 6711575/3146103 2502.08/2413.26 c cleaning 78005 clauses out of 156010 with flag 6877894/3225102 2569.37/2478.60 c cleaning 79000 clauses out of 158004 with flag 7045930/3305101 2637.67/2545.79 c cleaning 79993 clauses out of 160004 with flag 7216353/3386101 2716.89/2623.24 c cleaning 81002 clauses out of 162012 with flag 7388479/3468102 2790.88/2696.01 c cleaning 81999 clauses out of 164009 with flag 7562755/3551101 2848.61/2749.57 c cleaning 82998 clauses out of 166010 with flag 7738857/3635101 2907.14/2806.64 c cleaning 84007 clauses out of 168013 with flag 7916931/3720102 2953.83/2851.98 c cleaning 85001 clauses out of 170007 with flag 8097394/3806103 3019.24/2915.31 c cleaning 85995 clauses out of 172004 with flag 8280028/3893101 3087.28/2982.24 c cleaning 87005 clauses out of 174009 with flag 8464641/3981101 3153.09/3046.52 c cleaning 88002 clauses out of 176006 with flag 8651233/4070103 3225.30/3117.71 c cleaning 88992 clauses out of 178002 with flag 8840542/4160101 3296.05/3186.69 c cleaning 90000 clauses out of 180011 with flag 9031248/4251102 3378.50/3262.79 c cleaning 91000 clauses out of 182010 with flag 9224378/4343101 3461.27/3344.35 c cleaning 92000 clauses out of 184010 with flag 9419626/4436101 3549.10/3430.72 c cleaning 92993 clauses out of 186010 with flag 9617442/4530101 3600.08/3480.44 c starts : 13184 3600.08/3480.46 c conflicts : 4595496 3600.08/3480.48 c decisions : 17023657 3600.08/3480.48 c propagations : 44947698 3600.08/3480.48 c inspects : 9325819762 3600.08/3480.48 c shortcuts : 0 3600.08/3480.48 c learnt literals : 0 3600.08/3480.48 c learnt binary clauses : 0 3600.08/3480.49 c learnt ternary clauses : 0 3600.08/3480.49 c learnt constraints : 4595496 3600.08/3480.49 c ignored constraints : 0 3600.08/3480.49 c root simplifications : 0 3600.08/3480.49 c removed literals (reason simplification) : 81955798 3600.08/3480.49 c reason swapping (by a shorter reason) : 0 3600.08/3480.49 c Calls to reduceDB : 99 3600.08/3480.49 c Number of update (reduction) of LBD : 99099 3600.08/3480.49 c Imported unit clauses : 0 3600.27/3480.50 c No decision after first conflict : false 3600.27/3480.51 c number of reductions to clauses (during analyze) : 0 3600.27/3480.51 c number of learned constraints concerned by reduction : 0 3600.27/3480.51 c number of learning phase by resolution : 0 3600.27/3480.51 c number of learning phase by cutting planes : 0 3600.27/3480.51 c number of rounding to 1 operations : 0 3600.27/3480.51 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.27/3480.51 c number of reductions of the coefficients by power 2 : 0 3600.27/3480.51 c number of right shift for reduction by power 2 : 0 3600.27/3480.51 c number of reductions of the coefficients by GCD over coefficients : 0 3600.27/3480.52 c number of ending skipping : 0 3600.27/3480.52 c number of internal skipping : 0 3600.27/3480.52 c number of derivation steps : 0 3600.27/3480.52 c number of skipped derivation steps : 0 3600.27/3480.52 c number of remaining unassigned : 0 3600.27/3480.52 c number of remaining assigned : 0 3600.27/3480.52 c number of falsified literals weakened from reason : 0 3600.27/3480.52 c number of falsified literals weakened from conflict : 0 3600.27/3480.53 c time for arithmetic operations : 0 3600.27/3480.53 c minimum degree of deleted constraints : null 3600.27/3480.54 c maximum degree of deleted constraints : null 3600.27/3480.54 c number of deleted constraints : 0 3600.27/3480.54 c speed (assignments/second) : 12918.81167288066 3600.27/3480.55 c non guided choices : 0 3600.67/3480.70 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 158412 3600.67/3480.71 s SATISFIABLE 3600.67/3480.73 c Found 8 solution(s) 3600.67/3480.73 v x1 x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 -x260 x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 x514 -x515 x516 x517 -x518 x519 -x520 -x521 x522 x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 3600.67/3480.74 c objective function=-58 3600.67/3480.74 c Total wall clock time (in seconds): 3480.417
OK -58
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: 63794 MiB (61691 MiB free)
memory of node 1: 64507 MiB (54374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498164-1751273082/watcher-4498164-1751273082 -o /tmp/evaluation-result-4498164-1751273082/solver-4498164-1751273082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751270048-35795 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498164-1751273082.opb
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
solver pid=36130, runsolver pid=36127
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.11 4.15 4.25 7/325 36148
/proc/meminfo: memFree=118830736/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=18930384 memory=48560 CPUtime=0.13 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 5791 0 0 0 10 3 0 0 20 0 18 0 42987959 19384713216 12140 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4732596 12140 5348 1 0 547004 0
[pid=36130/tid=36132] ppid=36127 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 4697 0 0 0 6 1 0 0 20 0 18 0 42987961 19384713216 12140 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42987966 19384713216 12140 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=18930384 memory=57394571004297 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42987967 19384713216 12140 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48560 KiB
[startup+0.219777 s]*
/proc/loadavg: 4.11 4.15 4.25 6/325 36148
/proc/meminfo: memFree=118825624/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=18930384 memory=55664 CPUtime=0.31 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 6537 0 0 0 28 3 0 0 20 0 18 0 42987959 19384713216 13916 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4732596 13916 5380 1 0 547603 0
[pid=36130/tid=36132] ppid=36127 vsize=18930384 memory=4026597660 CPUtime=0.2 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 5051 0 0 0 18 2 0 0 20 0 18 0 42987961 19384713216 13916 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=18930384 memory=1707 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42987966 19384713216 13916 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=18930384 memory=56295059358712 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42987967 19384713216 14449 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55664 KiB
[startup+0.317666 s]*
/proc/loadavg: 4.11 4.15 4.25 7/325 36148
/proc/meminfo: memFree=118824616/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=18930384 memory=58948 CPUtime=0.47 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 6785 0 0 0 43 4 0 0 20 0 18 0 42987959 19384713216 14737 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4732596 14737 5444 1 0 547772 0
[pid=36130/tid=36132] ppid=36127 vsize=18930384 memory=-6000919477052073580 CPUtime=0.28 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 5210 0 0 0 26 2 0 0 20 0 18 0 42987961 19384713216 14737 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42987966 19384713216 14737 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42987967 19384713216 14737 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58948 KiB
[startup+0.700374 s]
/proc/loadavg: 4.11 4.15 4.25 7/325 36148
/proc/meminfo: memFree=118822600/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=18930656 memory=86784 CPUtime=1.14 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 7949 0 0 0 108 6 0 0 20 0 18 0 42987959 19384991744 21696 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4732664 21696 5444 1 0 548099 0
[pid=36130/tid=36132] ppid=36127 vsize=18930656 memory=17664 CPUtime=0.56 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 5300 0 0 0 53 3 0 0 20 0 18 0 42987961 19384991744 21728 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=18930656 memory=10752 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42987966 19384991744 21728 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=18930656 memory=3200 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42987967 19384991744 21728 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930656 KiB
Current children cumulated memory: 86784 KiB
[startup+1.50027 s]
/proc/loadavg: 4.11 4.15 4.25 6/325 36148
/proc/meminfo: memFree=118736396/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=202460 CPUtime=2.67 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 18081 0 1 0 257 10 0 0 20 0 20 0 42987959 19521036288 50615 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 50615 5508 1 0 555165 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=3200 CPUtime=1.24 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 5461 0 1 0 119 5 0 0 20 0 20 0 42987961 19521036288 50615 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 50615 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 42987967 19521036288 50615 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202460 KiB
[startup+3.10582 s]
/proc/loadavg: 4.18 4.16 4.26 6/327 36150
/proc/meminfo: memFree=118639112/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=243200 CPUtime=5.84 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 27557 0 1 0 572 12 0 0 20 0 20 0 42987959 19521036288 60800 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 60800 5540 1 0 555536 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=10752 CPUtime=2.77 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 5637 0 1 0 272 5 0 0 20 0 20 0 42987961 19521036288 60800 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 60800 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 42987967 19521036288 60800 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 60800 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 243200 KiB
[startup+6.30045 s]
/proc/loadavg: 4.18 4.16 4.26 5/327 36150
/proc/meminfo: memFree=118361080/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=542840 CPUtime=9.96 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 30438 0 1 0 977 19 0 0 20 0 20 0 42987959 19521036288 135710 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 135710 5572 1 0 990050 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=0 CPUtime=5.63 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 6759 0 1 0 557 6 0 0 20 0 20 0 42987961 19521036288 135710 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=-6000919477052073580 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 135710 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 42987967 19521036288 135710 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 135710 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 542840 KiB
[startup+12.7005 s]
/proc/loadavg: 4.23 4.17 4.26 5/326 36150
/proc/meminfo: memFree=117885332/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=1001832 CPUtime=17.11 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 31151 0 1 0 1682 29 0 0 20 0 20 0 42987959 19521036288 250458 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 250458 5572 1 0 990061 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=1001832 CPUtime=11.57 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 7152 0 1 0 1148 9 0 0 20 0 20 0 42987961 19521036288 250458 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=842068 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 250458 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 42987967 19521036288 250458 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 250458 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 17.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1001832 KiB
[startup+25.5004 s]
/proc/loadavg: 4.20 4.17 4.26 5/326 36150
/proc/meminfo: memFree=117143196/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=1783424 CPUtime=30.54 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 34168 0 1 0 3007 47 0 0 20 0 20 0 42987959 19521036288 445856 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 445856 5572 1 0 1340997 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=17664 CPUtime=23.58 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) S 36127 36130 35496 0 -1 4194368 7988 0 1 0 2344 14 0 0 20 0 20 0 42987961 19521036288 445856 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=1746544 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 445856 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=-6000919477052073580 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 42987967 19521036288 446368 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=1453624 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 446368 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 30.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1783424 KiB
[startup+51.1146 s]
/proc/loadavg: 4.13 4.15 4.25 5/326 36151
/proc/meminfo: memFree=115952616/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=2937728 CPUtime=57.81 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 41979 0 1 0 5709 72 0 0 20 0 20 0 42987959 19521036288 734432 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 734432 5572 1 0 1451709 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=2822972 CPUtime=47.83 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 9814 0 1 0 4764 19 0 0 20 0 20 0 42987961 19521036288 734432 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 734432 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=1001832 CPUtime=0 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 42987967 19521036288 734432 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=2521844 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 734432 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 57.81 s
################
# More data... #
################
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 3698823 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=3200 CPUtime=0.01 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 2584 0 0 0 0 1 0 0 20 0 20 0 42987967 19521036288 3698823 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 3698823 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 3209.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14795292 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.25 4.23 5/327 36519
/proc/meminfo: memFree=95265804/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=14795292 CPUtime=3271.01 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 328786 0 1 0 326575 526 0 0 20 0 20 0 42987959 19521036288 3698823 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 3698823 5572 1 0 4026154 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=14795292 CPUtime=3063.28 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 168473 0 1 0 306220 108 0 0 20 0 20 0 42987961 19521036288 3698823 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=14795292 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 3698823 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=14795292 CPUtime=0.01 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 2630 0 0 0 0 1 0 0 20 0 20 0 42987967 19521036288 3698823 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=14795292 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 3698823 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 3271.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14795292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.25 4.23 5/327 36521
/proc/meminfo: memFree=94163264/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=15293156 CPUtime=3337.4 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 343216 0 1 0 333198 542 0 0 20 0 20 0 42987959 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 3823289 5572 1 0 4026164 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=14795292 CPUtime=3120.98 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 176832 0 1 0 311989 109 0 0 20 0 20 0 42987961 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=14795292 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=15293156 CPUtime=0.01 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 2675 0 0 0 0 1 0 0 20 0 20 0 42987967 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=15063652 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 3337.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15293156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.25 4.23 5/326 36523
/proc/meminfo: memFree=93876088/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=15293156 CPUtime=3398.64 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 349059 0 1 0 339317 547 0 0 20 0 20 0 42987959 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 3823289 5572 1 0 4026164 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=15293156 CPUtime=3179.43 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 180294 0 1 0 317834 109 0 0 20 0 20 0 42987961 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=14848 CPUtime=0.01 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 2755 0 0 0 0 1 0 0 20 0 20 0 42987967 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 3398.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15293156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.21 4.22 5/326 36527
/proc/meminfo: memFree=92941476/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=15293156 CPUtime=3459.27 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 352962 0 1 0 345377 550 0 0 20 0 20 0 42987959 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 3823289 5572 1 0 4026164 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=0 CPUtime=3238.38 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 183375 0 1 0 323728 110 0 0 20 0 20 0 42987961 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=-6000919477052073580 CPUtime=0.01 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 2833 0 0 0 0 1 0 0 20 0 20 0 42987967 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=15293156 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 3459.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15293156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.20 4.21 5/325 36529
/proc/meminfo: memFree=92736684/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=15293156 CPUtime=3519.95 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 358423 0 1 0 351442 553 0 0 20 0 20 0 42987959 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 3823289 5572 1 0 4026164 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=0 CPUtime=3297.18 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 186846 0 1 0 329608 110 0 0 20 0 20 0 42987961 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=-6000919477052073580 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=10752 CPUtime=0.01 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 2847 0 0 0 0 1 0 0 20 0 20 0 42987967 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 3519.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15293156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.20 5/325 36531
/proc/meminfo: memFree=92736688/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=15293156 CPUtime=3581.07 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 362665 0 1 0 357549 558 0 0 20 0 20 0 42987959 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 3823289 5572 1 0 4026164 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=-6000919477052073580 CPUtime=3355.69 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 189011 0 1 0 335459 110 0 0 20 0 20 0 42987961 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=15293156 CPUtime=0.01 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 2931 0 0 0 0 1 0 0 20 0 20 0 42987967 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 3581.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15293156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3480.4 s]
/proc/loadavg: 4.11 4.18 4.20 5/325 36531
/proc/meminfo: memFree=92736188/131382112 swapFree=33010684/33010684
[pid=36130] ppid=36127 vsize=19063512 memory=15293156 CPUtime=3600.08 cores=4,6
/proc/36130/stat : 36130 (java) S 36127 36130 35496 0 -1 4194304 364305 0 1 0 359448 560 0 0 20 0 20 0 42987959 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
/proc/36130/statm: 4765878 3823289 5572 1 0 4026164 0
[pid=36130/tid=36132] ppid=36127 vsize=19063512 memory=10752 CPUtime=3372.77 cores=4,6
/proc/36130/task/36132/stat : 36132 (java) R 36127 36130 35496 0 -1 4194368 189970 0 1 0 337167 110 0 0 20 0 20 0 42987961 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36141] ppid=36127 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/36130/task/36141/stat : 36141 (Finalizer) S 36127 36130 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42987966 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36148] ppid=36127 vsize=19063512 memory=4252 CPUtime=0.01 cores=4,6
/proc/36130/task/36148/stat : 36148 (Common-Cleaner) S 36127 36130 35496 0 -1 4194368 2931 0 0 0 0 1 0 0 20 0 20 0 42987967 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
[pid=36130/tid=36150] ppid=36127 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36130/task/36150/stat : 36150 (Timer-0) S 36127 36130 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42988089 19521036288 3823289 18446744073709551615 94368536457216 94368536460912 140731588368816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94368536468728 94368536469520 94368536698880 140731588376961 140731588377062 140731588377062 140731588382664 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15293156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3480.82 s]
# the end of solver process 36130 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.15 s, system=5.66711 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3480.8 s]*
/proc/loadavg: 4.11 4.18 4.20 5/307 36534
/proc/meminfo: memFree=104254576/131382112 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3480.82
CPU time (s): 3600.82
CPU user time (s): 3595.15
CPU system time (s): 5.66711
CPU usage (%): 103.448
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 15293924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.15
system time used= 5.66711
maximum resident set size= 15294180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367598
page faults= 1
swaps= 0
block input operations= 368
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113730
involuntary context switches= 11738
# summary of solver processes directly reported to runsolver:
# pid: 36130
# total CPU time (s): 3600.82
# total CPU user time (s): 3595.15
# total CPU system time (s): 5.66711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8961 second user time and 39.1532 second system time
The end
Begin job on nodeC012 at 2025-06-30 10:44:43 IDJOB=4498164 IDBENCH=148537 IDSOLVER=3363 FILE ID=nodeC012/4498164-1751273082 RUNJOBID= nodeC012-1751270048-35795 SLURM_JOB_ID= 9594179 Free space on /tmp= 433056 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498164-1751273082/watcher-4498164-1751273082 -o /tmp/evaluation-result-4498164-1751273082/solver-4498164-1751273082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751270048-35795 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498164-1751273082.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e57f143ec316384ecd8a4071d2e7f39 RANDOM SEED=868990958 nodeC012 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 : 0xb00001f cpu MHz : 3591.447 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3491.681 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.254 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.155 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.148 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3491.650 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.664 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.148 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 118851548 kB MemAvailable: 118648240 kB Buffers: 3280 kB Cached: 606032 kB SwapCached: 0 kB Active: 11622884 kB Inactive: 357380 kB Active(anon): 11388912 kB Inactive(anon): 0 kB Active(file): 233972 kB Inactive(file): 357380 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1644 kB Writeback: 32 kB AnonPages: 11374076 kB Mapped: 122420 kB Shmem: 17960 kB KReclaimable: 89552 kB Slab: 172080 kB SReclaimable: 89552 kB SUnreclaim: 82528 kB KernelStack: 4928 kB PageTables: 25864 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 13168408 kB VmallocTotal: 34359738367 kB VmallocUsed: 150312 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 11028480 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433056 MiB End job on nodeC012 at 2025-06-30 11:42:44