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.29 | 3597.74 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | ede49bd1d15b22979a8ba24db53ae47d |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 0.124941 |
| 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 | 90 |
| Number of soft constraints | 90 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 25 |
| Top cost | 4573 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4572 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4524569-1751613141.wbo 0.12/0.14 c reading problem ... 0.12/0.18 c ... done. Wall clock time 0.038s. 0.12/0.18 c declared #vars 1000 0.12/0.18 c internal #vars 1090 0.12/0.18 c #constraints 91 0.12/0.18 c constraints type 0.12/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40 0.12/0.18 c org.sat4j.specs.Constr$1 => 1 0.12/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 50 0.12/0.18 c 91 constraints processed. 0.12/0.19 c objective function length is 90 literals 1.26/0.75 c cleaning 2498 clauses out of 5002 with flag 33230/5002 1.87/1.18 c SATISFIABLE 1.87/1.18 c OPTIMIZING... 1.87/1.18 c Got one! Elapsed wall clock time (in seconds):1.045 1.87/1.18 o 73 1.98/1.20 c Got one! Elapsed wall clock time (in seconds):1.064 1.98/1.20 o 62 2.48/1.64 c cleaning 6667 clauses out of 13344 with flag 35172/15842 3.16/2.20 c cleaning 6338 clauses out of 12679 with flag 79219/21844 4.06/3.03 c cleaning 6669 clauses out of 13342 with flag 132460/28845 4.95/3.99 c cleaning 7328 clauses out of 14669 with flag 193516/36841 5.25/4.21 c Got one! Elapsed wall clock time (in seconds):4.079 5.25/4.21 o 50 5.46/4.40 c cleaning 6352 clauses out of 12720 with flag 26469/42220 5.85/4.73 c cleaning 6176 clauses out of 12369 with flag 69074/48221 6.16/5.07 c Got one! Elapsed wall clock time (in seconds):4.937 6.16/5.07 o 39 6.26/5.12 c cleaning 5721 clauses out of 11461 with flag 7640/53489 6.26/5.17 c Got one! Elapsed wall clock time (in seconds):5.038 6.26/5.17 o 31 6.57/5.40 c Got one! Elapsed wall clock time (in seconds):5.267 6.57/5.40 o 15 6.67/5.52 c cleaning 6000 clauses out of 12007 with flag 7179/59756 6.77/5.61 c Got one! Elapsed wall clock time (in seconds):5.469 6.77/5.61 o 13 7.17/6.04 c cleaning 5941 clauses out of 11893 with flag 31422/65642 7.27/6.14 c Got one! Elapsed wall clock time (in seconds):6.005 7.27/6.14 o 10 7.57/6.42 c cleaning 5897 clauses out of 11799 with flag 31965/71489 8.07/6.94 c cleaning 5945 clauses out of 11901 with flag 77389/77488 8.77/7.62 c cleaning 6468 clauses out of 12958 with flag 133003/84490 9.48/8.32 c cleaning 7226 clauses out of 14488 with flag 194054/92488 10.09/8.94 c cleaning 8114 clauses out of 16263 with flag 258036/101489 11.79/10.57 c cleaning 9062 clauses out of 18148 with flag 344158/111488 12.82/11.58 c cleaning 10021 clauses out of 20086 with flag 428958/122488 13.64/12.39 c cleaning 10915 clauses out of 22066 with flag 517416/134489 14.64/13.39 c cleaning 12038 clauses out of 24151 with flag 639338/147489 15.97/14.61 c cleaning 13047 clauses out of 26113 with flag 767534/161489 17.58/16.27 c cleaning 14017 clauses out of 28065 with flag 907658/176488 20.13/18.74 c cleaning 15021 clauses out of 30051 with flag 1039826/192491 23.32/21.94 c cleaning 16008 clauses out of 32030 with flag 1194114/209491 25.13/23.79 c cleaning 16989 clauses out of 34019 with flag 1332554/227488 28.78/27.34 c cleaning 17991 clauses out of 36030 with flag 1463145/246488 33.36/31.94 c cleaning 18999 clauses out of 38041 with flag 1615321/266490 37.60/36.11 c cleaning 20001 clauses out of 40043 with flag 1786207/287491 42.80/41.38 c cleaning 21000 clauses out of 42039 with flag 1961218/309488 49.78/48.32 c cleaning 22001 clauses out of 44041 with flag 2149207/332490 53.62/52.19 c cleaning 23010 clauses out of 46039 with flag 2344638/356489 58.51/57.04 c cleaning 24015 clauses out of 48029 with flag 2523549/381489 64.54/63.06 c cleaning 24939 clauses out of 50013 with flag 2732188/407488 79.45/77.81 c cleaning 26032 clauses out of 52074 with flag 2989812/434488 84.43/82.83 c cleaning 26954 clauses out of 54042 with flag 3208077/462488 91.77/90.11 c cleaning 27982 clauses out of 56090 with flag 3443402/491490 99.15/97.55 c cleaning 28992 clauses out of 58109 with flag 3655705/521491 103.89/102.21 c cleaning 30019 clauses out of 60114 with flag 3877909/552488 112.03/110.38 c cleaning 31011 clauses out of 62095 with flag 4157592/584488 118.67/116.92 c cleaning 32031 clauses out of 64084 with flag 4431783/617488 127.86/126.12 c cleaning 33018 clauses out of 66053 with flag 4720229/651488 139.79/138.06 c cleaning 34008 clauses out of 68036 with flag 5013994/686489 149.42/147.50 c cleaning 34998 clauses out of 70027 with flag 5301754/722488 158.94/156.96 c cleaning 36006 clauses out of 72033 with flag 5659307/759492 169.32/167.32 c cleaning 37003 clauses out of 74029 with flag 5989047/797494 180.16/178.19 c cleaning 37999 clauses out of 76020 with flag 6343804/836488 191.92/189.91 c cleaning 38997 clauses out of 78021 with flag 6716975/876488 203.96/201.97 c cleaning 40002 clauses out of 80024 with flag 7119204/917488 214.70/212.64 c cleaning 40997 clauses out of 82023 with flag 7508590/959489 222.09/220.02 c cleaning 41938 clauses out of 84025 with flag 7856628/1002488 230.98/228.86 c cleaning 42988 clauses out of 86087 with flag 8264156/1046488 237.36/235.12 c cleaning 44023 clauses out of 88099 with flag 8688768/1091488 246.51/244.29 c cleaning 45026 clauses out of 90076 with flag 9099497/1137488 255.84/253.27 c cleaning 45958 clauses out of 92051 with flag 9518662/1184489 265.43/262.80 c cleaning 46902 clauses out of 94092 with flag 9923222/1232488 288.25/285.63 c cleaning 47945 clauses out of 96190 with flag 10363190/1281488 307.81/305.28 c cleaning 48971 clauses out of 98246 with flag 10839608/1331489 329.16/326.69 c cleaning 49991 clauses out of 100276 with flag 11291728/1382490 352.99/350.31 c cleaning 50994 clauses out of 102285 with flag 11769181/1434490 363.78/361.12 c cleaning 52132 clauses out of 104290 with flag 12264779/1487489 386.79/384.00 c cleaning 53062 clauses out of 106157 with flag 12743072/1541488 412.73/410.02 c cleaning 54035 clauses out of 108095 with flag 13294401/1596488 435.98/433.34 c cleaning 55017 clauses out of 110062 with flag 13830524/1652490 461.07/458.39 c cleaning 56012 clauses out of 112047 with flag 14343562/1709492 489.40/486.75 c cleaning 57000 clauses out of 114033 with flag 14856049/1767490 515.82/513.10 c cleaning 58001 clauses out of 116032 with flag 15403159/1826489 540.15/537.40 c cleaning 59001 clauses out of 118031 with flag 15927384/1886489 574.00/570.95 c cleaning 60006 clauses out of 120032 with flag 16494376/1947491 601.95/599.00 c cleaning 61001 clauses out of 122026 with flag 17075366/2009491 638.46/635.44 c cleaning 61995 clauses out of 124022 with flag 17662441/2072488 689.75/686.87 c cleaning 63000 clauses out of 126028 with flag 18224076/2136489 742.87/739.94 c cleaning 64002 clauses out of 128027 with flag 18812459/2201488 786.67/783.87 c cleaning 65002 clauses out of 130025 with flag 19411263/2267488 839.79/836.92 c cleaning 65998 clauses out of 132024 with flag 20058540/2334489 887.39/884.64 c cleaning 66998 clauses out of 134025 with flag 20717896/2402488 934.45/931.69 c cleaning 67996 clauses out of 136027 with flag 21343106/2471488 983.74/981.07 c cleaning 69007 clauses out of 138032 with flag 21990876/2541489 1035.09/1032.43 c cleaning 70000 clauses out of 140026 with flag 22698186/2612490 1070.02/1067.49 c cleaning 70924 clauses out of 142024 with flag 23288152/2684488 1084.04/1081.30 c cleaning 71938 clauses out of 144100 with flag 23860628/2757488 1098.95/1095.74 c cleaning 72927 clauses out of 146162 with flag 24485488/2831488 1142.66/1139.47 c cleaning 74033 clauses out of 148235 with flag 25164666/2906488 1167.07/1163.74 c cleaning 75067 clauses out of 150204 with flag 25963726/2982490 1211.56/1208.36 c cleaning 76051 clauses out of 152137 with flag 26568308/3059490 1264.39/1261.19 c cleaning 77025 clauses out of 154084 with flag 27274820/3137488 1312.78/1309.63 c cleaning 78019 clauses out of 156060 with flag 27955109/3216489 1360.13/1356.98 c cleaning 79003 clauses out of 158040 with flag 28638546/3296488 1411.41/1408.30 c cleaning 80011 clauses out of 160039 with flag 29345806/3377490 1476.91/1473.82 c cleaning 81001 clauses out of 162028 with flag 30065042/3459490 1543.77/1540.81 c cleaning 82001 clauses out of 164025 with flag 30842249/3542488 1573.34/1570.31 c cleaning 83001 clauses out of 166026 with flag 31537317/3626490 1597.68/1594.16 c cleaning 83944 clauses out of 168024 with flag 32222701/3711489 1632.35/1628.86 c cleaning 84909 clauses out of 170079 with flag 32989829/3797488 1658.71/1655.04 c cleaning 86065 clauses out of 172173 with flag 33657064/3884491 1682.14/1678.53 c cleaning 87033 clauses out of 174105 with flag 34345902/3972488 1703.06/1699.31 c cleaning 88005 clauses out of 176073 with flag 35023150/4061489 1756.34/1752.72 c cleaning 88953 clauses out of 178067 with flag 35767191/4151488 1813.47/1809.80 c cleaning 90040 clauses out of 180114 with flag 36505464/4242488 1912.82/1909.49 c cleaning 91021 clauses out of 182075 with flag 37284098/4334489 1955.81/1952.34 c cleaning 92008 clauses out of 184055 with flag 38121029/4427490 1977.53/1973.98 c cleaning 92913 clauses out of 186045 with flag 38897724/4521488 2000.88/1997.30 c cleaning 94060 clauses out of 188133 with flag 39660486/4616489 2030.10/2026.54 c cleaning 95020 clauses out of 190072 with flag 40476987/4712488 2056.63/2052.59 c cleaning 96006 clauses out of 192053 with flag 41280584/4809489 2111.72/2107.62 c cleaning 97003 clauses out of 194048 with flag 42152651/4907490 2214.39/2210.59 c cleaning 98003 clauses out of 196043 with flag 43013581/5006488 2250.92/2246.92 c cleaning 98985 clauses out of 198040 with flag 43813463/5106488 2299.92/2296.03 c cleaning 100010 clauses out of 200055 with flag 44679321/5207488 2337.59/2333.62 c cleaning 101019 clauses out of 202047 with flag 45536761/5309490 2414.28/2410.33 c cleaning 101937 clauses out of 204028 with flag 46526701/5412490 2772.98/2769.72 c cleaning 103040 clauses out of 206089 with flag 47535847/5516488 3177.90/3175.41 c cleaning 104020 clauses out of 208051 with flag 48576146/5621490 3318.32/3316.07 c cleaning 105008 clauses out of 210029 with flag 49562021/5727488 3593.94/3591.51 c cleaning 106006 clauses out of 212023 with flag 50653707/5834490 3600.02/3597.63 c starts : 24200 3600.02/3597.63 c conflicts : 5853861 3600.02/3597.63 c decisions : 12368520 3600.02/3597.63 c propagations : 119303576 3600.02/3597.63 c inspects : 26357811490 3600.02/3597.63 c shortcuts : 0 3600.02/3597.63 c learnt literals : 0 3600.02/3597.63 c learnt binary clauses : 0 3600.02/3597.63 c learnt ternary clauses : 0 3600.02/3597.64 c learnt constraints : 5853861 3600.02/3597.64 c ignored constraints : 0 3600.02/3597.64 c root simplifications : 0 3600.02/3597.64 c removed literals (reason simplification) : 9115353 3600.02/3597.64 c reason swapping (by a shorter reason) : 0 3600.02/3597.64 c Calls to reduceDB : 113 3600.02/3597.64 c Number of update (reduction) of LBD : 3116951 3600.02/3597.64 c Imported unit clauses : 0 3600.02/3597.64 c No decision after first conflict : false 3600.02/3597.64 c number of reductions to clauses (during analyze) : 0 3600.02/3597.64 c number of learned constraints concerned by reduction : 0 3600.02/3597.64 c number of learning phase by resolution : 0 3600.02/3597.64 c number of learning phase by cutting planes : 0 3600.02/3597.64 c number of rounding to 1 operations : 0 3600.02/3597.64 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3597.64 c number of reductions of the coefficients by power 2 : 0 3600.02/3597.64 c number of right shift for reduction by power 2 : 0 3600.02/3597.64 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3597.64 c number of ending skipping : 0 3600.02/3597.64 c number of internal skipping : 0 3600.02/3597.64 c number of derivation steps : 0 3600.02/3597.64 c number of skipped derivation steps : 0 3600.02/3597.64 c number of remaining unassigned : 0 3600.02/3597.64 c number of remaining assigned : 0 3600.02/3597.64 c number of falsified literals weakened from reason : 0 3600.02/3597.64 c number of falsified literals weakened from conflict : 0 3600.02/3597.64 c time for arithmetic operations : 0 3600.02/3597.65 c minimum degree of deleted constraints : null 3600.02/3597.65 c maximum degree of deleted constraints : null 3600.02/3597.65 c number of deleted constraints : 0 3600.02/3597.65 c speed (assignments/second) : 33163.40060048139 3600.02/3597.65 c non guided choices : 68116 3600.23/3597.71 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 125388 3600.23/3597.71 s SATISFIABLE 3600.23/3597.71 c Found 8 solution(s) 3600.23/3597.72 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.23/3597.72 c objective function=10 3600.23/3597.72 c Total wall clock time (in seconds): 3597.586
OK 10
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61458 MiB free)
memory of node 1: 64507 MiB (61474 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524569-1751613141/watcher-4524569-1751613141 -o /tmp/evaluation-result-4524569-1751613141/solver-4524569-1751613141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751612909-93504 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524569-1751613141.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=94286, runsolver pid=94283
Current StackSize limit: 8192 KiB
[startup+0.100026 s]*
/proc/loadavg: 4.14 4.42 5.32 6/338 94304
/proc/meminfo: memFree=125867832/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=18930384 memory=55612 CPUtime=0.12 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 6555 0 0 0 10 2 0 0 20 0 18 0 76994361 19384713216 13903 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4732596 13903 5328 1 0 547603 0
[pid=94286/tid=94288] ppid=94283 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 5049 0 0 0 6 1 0 0 20 0 18 0 76994362 19384713216 13903 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76994364 19384713216 13903 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=18930384 memory=59585004340264 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76994365 19384713216 13903 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55612 KiB
[startup+0.205906 s]*
/proc/loadavg: 4.14 4.42 5.32 8/339 94305
/proc/meminfo: memFree=125863764/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=18996948 memory=63000 CPUtime=0.3 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 7253 0 0 0 28 2 0 0 20 0 19 0 76994361 19452874752 15750 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4749237 15750 5488 1 0 548394 0
[pid=94286/tid=94288] ppid=94283 vsize=18996948 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 5363 0 0 0 14 2 0 0 20 0 19 0 76994362 19452874752 15750 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=18996948 memory=19950 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76994364 19452874752 15750 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=18996948 memory=58485492679654 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76994365 19452874752 15750 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76994380 19452874752 15750 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63000 KiB
[startup+0.305914 s]*
/proc/loadavg: 4.14 4.42 5.32 6/339 94305
/proc/meminfo: memFree=125863764/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=18996948 memory=69212 CPUtime=0.5 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 9030 0 0 0 47 3 0 0 20 0 19 0 76994361 19452874752 17303 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4749237 17303 5488 1 0 549341 0
[pid=94286/tid=94288] ppid=94283 vsize=18996948 memory=-6000919494131214438 CPUtime=0.26 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 5374 0 0 0 24 2 0 0 20 0 19 0 76994362 19452874752 17303 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76994364 19452874752 17303 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76994365 19452874752 17303 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76994380 19452874752 17303 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69212 KiB
[startup+0.700242 s]
/proc/loadavg: 4.21 4.43 5.32 6/339 94305
/proc/meminfo: memFree=125856140/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=18996948 memory=84388 CPUtime=1.26 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 11546 0 0 0 123 3 0 0 20 0 19 0 76994361 19452874752 21097 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4749237 21097 5488 1 0 551015 0
[pid=94286/tid=94288] ppid=94283 vsize=18996948 memory=15104 CPUtime=0.65 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 5396 0 0 0 63 2 0 0 20 0 19 0 76994362 19452874752 21097 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76994364 19452874752 21097 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76994365 19452874752 21097 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76994380 19452874752 21097 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84388 KiB
[startup+1.50022 s]
/proc/loadavg: 4.21 4.43 5.32 5/339 94305
/proc/meminfo: memFree=125833140/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=18996948 memory=102136 CPUtime=2.38 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 16431 0 0 0 234 4 0 0 20 0 19 0 76994361 19452874752 25534 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4749237 25534 5488 1 0 551253 0
[pid=94286/tid=94288] ppid=94283 vsize=18996948 memory=0 CPUtime=1.44 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 6670 0 0 0 142 2 0 0 20 0 19 0 76994362 19452874752 25534 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76994364 19452874752 25534 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76994365 19452874752 25534 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76994380 19452874752 25534 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102136 KiB
[startup+3.10575 s]
/proc/loadavg: 4.21 4.43 5.32 5/339 94305
/proc/meminfo: memFree=125751512/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=18996948 memory=124732 CPUtime=4.16 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 17491 0 0 0 411 5 0 0 20 0 19 0 76994361 19452874752 31183 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4749237 31183 5488 1 0 551256 0
[pid=94286/tid=94288] ppid=94283 vsize=18996948 memory=10752 CPUtime=3.05 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 7019 0 0 0 302 3 0 0 20 0 19 0 76994362 19452874752 31183 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=18996948 memory=-6000919494131214438 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76994364 19452874752 31183 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76994365 19452874752 31183 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76994380 19452874752 31183 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124732 KiB
[startup+6.30023 s]
/proc/loadavg: 4.20 4.42 5.32 5/340 94306
/proc/meminfo: memFree=125579488/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=172456 CPUtime=7.47 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 22762 0 0 0 740 7 0 0 20 0 20 0 76994361 19521036288 43114 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 43114 5520 1 0 551545 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=0 CPUtime=6.21 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 8144 0 0 0 618 3 0 0 20 0 20 0 76994362 19521036288 43114 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 43114 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 43114 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=104184 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 43114 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172456 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.43 5.31 5/340 94306
/proc/meminfo: memFree=125571808/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=185276 CPUtime=14.04 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 27716 0 0 0 1397 7 0 0 20 0 20 0 76994361 19521036288 46319 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 46319 5520 1 0 551545 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=104184 CPUtime=12.58 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 8803 0 0 0 1255 3 0 0 20 0 20 0 76994362 19521036288 46319 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=185276 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 46319 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 46319 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 46319 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 14.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185276 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.41 5.30 5/340 94306
/proc/meminfo: memFree=125371860/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=382276 CPUtime=26.98 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 29265 0 0 0 2687 11 0 0 20 0 20 0 76994361 19521036288 95569 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 95569 5552 1 0 551545 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=185276 CPUtime=25.18 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 9382 0 0 0 2515 3 0 0 20 0 20 0 76994362 19521036288 95569 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 95569 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=308548 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 95569 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=15104 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 95569 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 26.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 382276 KiB
[startup+51.1058 s]
/proc/loadavg: 4.13 4.37 5.26 5/340 94307
/proc/meminfo: memFree=125230468/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=515440 CPUtime=52.63 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 29536 0 0 0 5249 14 0 0 20 0 20 0 76994361 19521036288 128860 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 128860 5552 1 0 551545 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=382276 CPUtime=50.62 cores=0,2
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 3.16 3.16 3.39 4/317 94501
/proc/meminfo: memFree=114079488/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=2837672 CPUtime=3284.7 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 98443 0 0 0 328320 150 0 0 20 0 20 0 76994361 19521036288 709418 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 709418 5552 1 0 722729 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=2837672 CPUtime=3266.78 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 40456 0 0 0 326651 27 0 0 20 0 20 0 76994362 19521036288 709418 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=2837672 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 709418 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=2837672 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 1536 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 709418 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=2837672 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 709418 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 3284.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2837672 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.14 3.36 4/316 94503
/proc/meminfo: memFree=114010000/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=2895588 CPUtime=3345.13 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 101391 0 0 0 334361 152 0 0 20 0 20 0 76994361 19521036288 723897 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 723897 5552 1 0 754090 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=2837672 CPUtime=3326.48 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 41278 0 0 0 332620 28 0 0 20 0 20 0 76994362 19521036288 723897 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=2866916 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 723897 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 723897 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=2893540 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 723897 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 3345.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2895588 KiB
[startup+3402.3 s]
/proc/loadavg: 2.34 2.94 3.28 2/265 94574
/proc/meminfo: memFree=126598040/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=2963228 CPUtime=3405.08 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 102549 0 0 0 340352 156 0 0 20 0 20 0 76994361 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 740807 5552 1 0 754092 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=5632 CPUtime=3386.23 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 41636 0 0 0 338593 30 0 0 20 0 20 0 76994362 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 1602 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 3405.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2963228 KiB
[startup+3462.3 s]
/proc/loadavg: 1.61 2.61 3.14 2/266 94577
/proc/meminfo: memFree=126599400/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=2963228 CPUtime=3464.96 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 102645 0 0 0 346339 157 0 0 20 0 20 0 76994361 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 740807 5552 1 0 754092 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=4352 CPUtime=3446.09 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 41708 0 0 0 344579 30 0 0 20 0 20 0 76994362 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 1603 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=4643097563896639136 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 3464.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2963228 KiB
[startup+3522.3 s]
/proc/loadavg: 1.27 2.33 3.01 2/266 94579
/proc/meminfo: memFree=126598256/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=2963228 CPUtime=3524.86 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 103185 0 0 0 352327 159 0 0 20 0 20 0 76994361 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 740807 5552 1 0 754092 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=2963228 CPUtime=3505.96 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 42179 0 0 0 350566 30 0 0 20 0 20 0 76994362 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 1603 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 3524.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2963228 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 2.10 2.89 2/266 94581
/proc/meminfo: memFree=126598368/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=2963228 CPUtime=3584.76 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 103716 0 0 0 358315 161 0 0 20 0 20 0 76994361 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 740807 5552 1 0 754092 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=5632 CPUtime=3565.83 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 42604 0 0 0 356552 31 0 0 20 0 20 0 76994362 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 1638 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 3584.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2963228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3597.6 s]
/proc/loadavg: 1.18 2.06 2.86 2/266 94581
/proc/meminfo: memFree=126598368/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19063512 memory=2963228 CPUtime=3600.02 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 104255 0 0 0 359841 161 0 0 20 0 20 0 76994361 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4765878 740807 5552 1 0 754092 0
[pid=94286/tid=94288] ppid=94283 vsize=19063512 memory=3200 CPUtime=3581.09 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 43137 0 0 0 358078 31 0 0 20 0 20 0 76994362 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76994364 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 1638 0 0 0 0 0 0 0 20 0 20 0 76994365 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94305] ppid=94283 vsize=19063512 memory=21608 CPUtime=0 cores=0,2
/proc/94286/task/94305/stat : 94305 (Timer-0) S 94283 94286 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76994380 19521036288 740807 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2963228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3597.74 s]
# the end of solver process 94286 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.66 s, system=1.63203 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3597.71 s]
/proc/loadavg: 1.18 2.06 2.86 2/266 94581
/proc/meminfo: memFree=126598368/131250000 swapFree=33008100/33010684
[pid=94286] ppid=94283 vsize=19263204 memory=2963868 CPUtime=3600.23 cores=0,2
/proc/94286/stat : 94286 (java) S 94283 94286 92287 0 -1 4194304 106404 0 0 0 359861 162 0 0 20 0 21 0 76994361 19725520896 740967 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
/proc/94286/statm: 4815801 740967 5552 1 0 755062 0
[pid=94286/tid=94288] ppid=94283 vsize=19263204 memory=2963228 CPUtime=3581.19 cores=0,2
/proc/94286/task/94288/stat : 94288 (java) R 94283 94286 92287 0 -1 4194368 43474 0 0 0 358088 31 0 0 20 0 21 0 76994362 19725520896 740967 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94297] ppid=94283 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/94286/task/94297/stat : 94297 (Finalizer) S 94283 94286 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 76994364 19725520896 740967 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
[pid=94286/tid=94304] ppid=94283 vsize=19263204 memory=2963228 CPUtime=0 cores=0,2
/proc/94286/task/94304/stat : 94304 (Common-Cleaner) S 94283 94286 92287 0 -1 4194368 1638 0 0 0 0 0 0 0 20 0 21 0 76994365 19725520896 740967 18446744073709551615 94855599251456 94855599255152 140734022337808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94855599262968 94855599263760 94855621136384 140734022347135 140734022347236 140734022347236 140734022352840 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2963868 KiB
Child status: 143
Real time (s): 3597.74
CPU time (s): 3600.29
CPU user time (s): 3598.66
CPU system time (s): 1.63203
CPU usage (%): 100.071
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2963868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.63203
maximum resident set size= 2963996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106677
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108463
involuntary context switches= 5993
# summary of solver processes directly reported to runsolver:
# pid: 94286
# total CPU time (s): 3600.29
# total CPU user time (s): 3598.66
# total CPU system time (s): 1.63203
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42482 second user time and 17.3961 second system time
The end
Begin job on nodeC013 at 2025-07-04 09:12:21 IDJOB=4524569 IDBENCH=143134 IDSOLVER=3380 FILE ID=nodeC013/4524569-1751613141 RUNJOBID= nodeC013-1751612909-93504 SLURM_JOB_ID= 9598886 Free space on /tmp= 432644 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524569-1751613141/watcher-4524569-1751613141 -o /tmp/evaluation-result-4524569-1751613141/solver-4524569-1751613141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751612909-93504 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524569-1751613141.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ede49bd1d15b22979a8ba24db53ae47d RANDOM SEED=1050147145 nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.818 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.828 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3601.114 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.834 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.814 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.825 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3602.679 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3595.744 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 125883708 kB MemAvailable: 126144560 kB Buffers: 1668 kB Cached: 1054516 kB SwapCached: 1908 kB Active: 4052936 kB Inactive: 690148 kB Active(anon): 3680640 kB Inactive(anon): 17628 kB Active(file): 372296 kB Inactive(file): 672520 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008100 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 768 kB Writeback: 12 kB AnonPages: 3688080 kB Mapped: 119748 kB Shmem: 11368 kB KReclaimable: 110148 kB Slab: 200044 kB SReclaimable: 110148 kB SUnreclaim: 89896 kB KernelStack: 5244 kB PageTables: 10916 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 7046440 kB VmallocTotal: 34359738367 kB VmallocUsed: 151448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3467264 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: 215764 kB DirectMap2M: 8992768 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432644 MiB End job on nodeC013 at 2025-07-04 10:12:19