Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | SAT (TO) | -24 | 3600.23 | 3588.66 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
| MD5SUM | 3e791e4af881e2fe08ee2208e231d7f8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 5.15888 |
| 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 | 450 |
| Total number of constraints | 17827 |
| Number of constraints which are clauses | 17827 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 450 |
| 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 | 450 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 450 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.01/0.21 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.21 c See www.sat4j.org for details. 0.09/0.22 c version CUSTOM.v20240707 0.09/0.23 c java.runtime.name OpenJDK Runtime Environment 0.09/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.09/0.23 c java.vm.version 22.0.1+8-16 0.09/0.23 c java.vm.vendor Oracle Corporation 0.09/0.23 c sun.arch.data.model 64 0.09/0.23 c java.version 22.0.1 0.09/0.23 c os.name Linux 0.09/0.23 c os.version 4.18.0-301.1.el8.x86_64 0.09/0.23 c os.arch amd64 0.09/0.23 c Free memory 2104792832 0.09/0.23 c Max memory 16282288128 0.09/0.23 c Total memory 2113929216 0.09/0.23 c Number of processors 2 0.09/0.27 --- Begin Solver configuration --- 0.09/0.27 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.09/0.27 Learn all clauses as in MiniSAT 0.09/0.27 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.27 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.27 Expensive reason simplification 0.09/0.27 Glucose 2.1 dynamic restart strategy 0.09/0.27 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.09/0.27 timeout=2147483s 0.09/0.27 DB Simplification allowed=false 0.09/0.27 Listener: none 0.09/0.27 --- End Solver configuration --- 0.09/0.27 c Pseudo Boolean Optimization by upper bound 0.09/0.27 c --- Begin Solver configuration --- 0.09/0.27 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.09/0.27 c Learn all clauses as in MiniSAT 0.09/0.27 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.27 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.27 c Expensive reason simplification 0.09/0.27 c Glucose 2.1 dynamic restart strategy 0.09/0.27 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.09/0.27 c timeout=2147483s 0.09/0.27 c DB Simplification allowed=false 0.09/0.27 c Listener: none 0.09/0.27 c --- End Solver configuration --- 0.09/0.27 c solving HOME/instance-4440352-1721765643.opb 0.09/0.27 c reading problem ... 0.09/0.27 c using VERIPB proof format 0.09/0.28 c objective function found 0.44/0.41 c ... done. Wall clock time 0.142s. 0.44/0.41 c declared #vars 450 0.44/0.41 c #constraints 17827 0.44/0.41 c constraints type 0.44/0.41 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17827 0.44/0.41 c 17827 constraints processed. 0.44/0.43 c objective function length is 450 literals 0.44/0.45 c SATISFIABLE 0.44/0.45 c OPTIMIZING... 0.44/0.45 c Got one! Elapsed wall clock time (in seconds):0.178 0.44/0.45 o -20 0.63/0.54 c Got one! Elapsed wall clock time (in seconds):0.262 0.63/0.54 o -21 1.18/0.83 c Got one! Elapsed wall clock time (in seconds):0.552 1.18/0.83 o -22 2.16/1.37 c Got one! Elapsed wall clock time (in seconds):1.096 2.16/1.37 o -23 3.96/2.27 c Got one! Elapsed wall clock time (in seconds):2.001 3.96/2.27 o -24 4.50/2.57 c cleaning 3152 clauses out of 6304 with flag 2110/6304 6.41/3.96 c cleaning 4573 clauses out of 9154 with flag 14638/12306 8.06/5.58 c cleaning 5785 clauses out of 11578 with flag 29096/19303 10.25/7.64 c cleaning 6893 clauses out of 13794 with flag 46660/27304 13.91/11.29 c cleaning 7945 clauses out of 15900 with flag 70012/36303 18.30/15.56 c cleaning 8978 clauses out of 17955 with flag 96816/46303 22.80/19.99 c cleaning 9989 clauses out of 19977 with flag 123144/57303 26.49/23.51 c cleaning 10988 clauses out of 21989 with flag 147728/69304 30.90/27.81 c cleaning 11993 clauses out of 24001 with flag 174393/82304 35.10/31.94 c cleaning 13002 clauses out of 26007 with flag 203180/96303 39.70/36.47 c cleaning 14004 clauses out of 28007 with flag 233929/111305 45.38/43.03 c cleaning 14997 clauses out of 30003 with flag 266866/127305 51.89/49.28 c cleaning 16002 clauses out of 32004 with flag 301794/144303 58.43/55.70 c cleaning 17001 clauses out of 34002 with flag 338817/162303 66.10/63.19 c cleaning 18001 clauses out of 36001 with flag 377946/181303 74.38/71.33 c cleaning 18996 clauses out of 38003 with flag 419321/201306 84.37/81.87 c cleaning 20002 clauses out of 40008 with flag 462412/222307 95.44/92.58 c cleaning 20996 clauses out of 42002 with flag 507560/244303 105.11/102.27 c cleaning 22004 clauses out of 44007 with flag 554854/267304 117.38/119.68 c cleaning 23000 clauses out of 46002 with flag 604252/291303 129.49/131.45 c cleaning 23993 clauses out of 48002 with flag 655742/316303 144.20/154.66 c cleaning 25002 clauses out of 50009 with flag 709047/342303 161.33/172.00 c cleaning 26004 clauses out of 52008 with flag 764555/369304 178.32/188.71 c cleaning 27000 clauses out of 54006 with flag 822164/397306 194.75/205.26 c cleaning 27995 clauses out of 56005 with flag 881754/426305 212.68/222.93 c cleaning 28994 clauses out of 58008 with flag 943379/456303 234.45/244.33 c cleaning 30009 clauses out of 60017 with flag 1007018/487306 253.19/263.18 c cleaning 30999 clauses out of 62007 with flag 1072789/519305 276.09/285.83 c cleaning 32002 clauses out of 64006 with flag 1140416/552303 298.74/312.17 c cleaning 33002 clauses out of 66004 with flag 1210157/586303 319.64/333.31 c cleaning 33995 clauses out of 68002 with flag 1282139/621303 342.29/355.85 c cleaning 35004 clauses out of 70007 with flag 1356170/657303 373.30/387.06 c cleaning 35996 clauses out of 72003 with flag 1432278/694303 403.37/417.19 c cleaning 36996 clauses out of 74008 with flag 1510320/732304 429.93/443.92 c cleaning 38005 clauses out of 76014 with flag 1590669/771306 456.59/470.78 c cleaning 38996 clauses out of 78006 with flag 1672993/811303 487.47/501.87 c cleaning 39999 clauses out of 80010 with flag 1757508/852303 518.74/532.69 c cleaning 40998 clauses out of 82011 with flag 1844036/894303 554.46/569.24 c cleaning 42006 clauses out of 84014 with flag 1932815/937304 588.98/604.27 c cleaning 42999 clauses out of 86007 with flag 2023984/981303 621.39/637.41 c cleaning 44005 clauses out of 88009 with flag 2116666/1026304 656.85/673.29 c cleaning 44997 clauses out of 90003 with flag 2211337/1072303 692.61/709.16 c cleaning 46001 clauses out of 92011 with flag 2308200/1119308 738.64/755.34 c cleaning 46990 clauses out of 94005 with flag 2407124/1167303 781.22/800.75 c cleaning 48007 clauses out of 96016 with flag 2507806/1216304 826.85/847.81 c cleaning 48999 clauses out of 98008 with flag 2610768/1266303 870.81/892.86 c cleaning 49998 clauses out of 100009 with flag 2715472/1317303 917.70/940.39 c cleaning 51001 clauses out of 102013 with flag 2822539/1369305 969.52/991.03 c cleaning 52006 clauses out of 104011 with flag 2931741/1422304 1010.35/1031.93 c cleaning 52998 clauses out of 106006 with flag 3042910/1476305 1063.86/1085.31 c cleaning 54003 clauses out of 108006 with flag 3156110/1531303 1116.63/1137.23 c cleaning 54993 clauses out of 110004 with flag 3271413/1587304 1170.87/1191.97 c cleaning 56005 clauses out of 112011 with flag 3389103/1644304 1228.02/1248.44 c cleaning 56999 clauses out of 114007 with flag 3508511/1702305 1287.06/1307.82 c cleaning 58004 clauses out of 116008 with flag 3630112/1761305 1353.00/1373.14 c cleaning 58994 clauses out of 118002 with flag 3753585/1821303 1419.78/1439.24 c cleaning 60004 clauses out of 120008 with flag 3879404/1882303 1493.50/1512.18 c cleaning 60994 clauses out of 122004 with flag 4007513/1944303 1569.43/1586.79 c cleaning 62007 clauses out of 124013 with flag 4136822/2007306 1643.12/1659.79 c cleaning 63004 clauses out of 126007 with flag 4268495/2071307 1718.94/1735.13 c cleaning 63994 clauses out of 127999 with flag 4402184/2136303 1805.88/1821.53 c cleaning 65001 clauses out of 130006 with flag 4537655/2202304 1891.12/1904.47 c cleaning 65998 clauses out of 132006 with flag 4675285/2269305 1990.74/2003.36 c cleaning 67000 clauses out of 134006 with flag 4815599/2337303 2085.45/2096.97 c cleaning 68003 clauses out of 136006 with flag 4957624/2406303 2176.40/2185.34 c cleaning 68991 clauses out of 138004 with flag 5101505/2476304 2266.41/2274.69 c cleaning 69996 clauses out of 140012 with flag 5247208/2547303 2369.52/2376.15 c cleaning 71001 clauses out of 142017 with flag 5395048/2619304 2472.45/2477.99 c cleaning 72006 clauses out of 144018 with flag 5545049/2692306 2585.20/2589.78 c cleaning 73005 clauses out of 146010 with flag 5697167/2766304 2697.48/2700.42 c cleaning 73996 clauses out of 148006 with flag 5851426/2841305 2813.05/2814.34 c cleaning 75002 clauses out of 150009 with flag 6007670/2917304 2926.86/2927.16 c cleaning 76003 clauses out of 152006 with flag 6166266/2994303 3042.93/3040.19 c cleaning 76993 clauses out of 154003 with flag 6326649/3072303 3158.43/3154.63 c cleaning 77999 clauses out of 156013 with flag 6488837/3151306 3272.27/3267.47 c cleaning 79004 clauses out of 158015 with flag 6653278/3231307 3400.30/3392.98 c cleaning 80000 clauses out of 160007 with flag 6819757/3312303 3532.77/3522.57 c cleaning 80999 clauses out of 162007 with flag 6989432/3394303 3600.01/3588.52 c starts : 649 3600.01/3588.52 c conflicts : 3452400 3600.01/3588.52 c decisions : 3741348 3600.01/3588.52 c propagations : 21241423 3600.01/3588.52 c inspects : 10982018653 3600.01/3588.52 c shortcuts : 0 3600.01/3588.52 c learnt literals : 0 3600.01/3588.52 c learnt binary clauses : 0 3600.01/3588.52 c learnt ternary clauses : 0 3600.01/3588.52 c learnt constraints : 3452400 3600.01/3588.52 c ignored constraints : 0 3600.01/3588.52 c root simplifications : 0 3600.01/3588.52 c removed literals (reason simplification) : 106469763 3600.01/3588.52 c reason swapping (by a shorter reason) : 0 3600.01/3588.52 c Calls to reduceDB : 78 3600.01/3588.52 c Number of update (reduction) of LBD : 29063 3600.01/3588.52 c Imported unit clauses : 0 3600.01/3588.52 c No decision after first conflict : false 3600.01/3588.52 c number of reductions to clauses (during analyze) : 0 3600.01/3588.52 c number of learned constraints concerned by reduction : 0 3600.01/3588.52 c number of learning phase by resolution : 0 3600.01/3588.52 c number of learning phase by cutting planes : 0 3600.01/3588.52 c number of rounding to 1 operations : 0 3600.01/3588.52 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3588.52 c number of reductions of the coefficients by power 2 : 0 3600.01/3588.52 c number of right shift for reduction by power 2 : 0 3600.01/3588.52 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3588.52 c number of ending skipping : 0 3600.01/3588.52 c number of internal skipping : 0 3600.01/3588.52 c number of derivation steps : 0 3600.01/3588.52 c number of skipped derivation steps : 0 3600.01/3588.52 c number of remaining unassigned : 0 3600.01/3588.52 c number of remaining assigned : 0 3600.01/3588.52 c number of falsified literals weakened from reason : 0 3600.01/3588.52 c number of falsified literals weakened from conflict : 0 3600.01/3588.52 c time for arithmetic operations : 0 3600.01/3588.52 c minimum degree of deleted constraints : null 3600.01/3588.52 c maximum degree of deleted constraints : null 3600.01/3588.52 c number of deleted constraints : 0 3600.01/3588.52 c speed (assignments/second) : 5919.995395867596 3600.01/3588.52 c non guided choices : 0 3600.01/3588.59 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 139105 3600.01/3588.59 s SATISFIABLE 3600.01/3588.59 c Found 5 solution(s) 3600.01/3588.59 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 3600.01/3588.60 c objective function=-24 3600.01/3588.60 c Total wall clock time (in seconds): 3588.329
OK -24
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: 63968 MiB (53482 MiB free)
memory of node 1: 64473 MiB (51517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440352-1721765643/watcher-4440352-1721765643 -o /tmp/evaluation-result-4440352-1721765643/solver-4440352-1721765643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721765643-132619 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440352-1721765643 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440352-1721765643.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=132674, runsolver pid=132666
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.20 2.16 2.14 2/293 132711
/proc/meminfo: memFree=107436504/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=18175400 memory=31008 CPUtime=0.01 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 3035 0 87 0 0 1 0 0 20 0 7 0 13093321 18611609600 7752 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16784588 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4543850 7752 3555 1 0 542675 0
[pid=132674/tid=132687] ppid=132666 vsize=18175400 memory=4026531971 CPUtime=0.01 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) D 132666 132674 132609 0 -1 4194368 2493 0 55 0 0 1 0 0 20 0 7 0 13093324 18611609600 7752 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 4 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 31008 KiB
[startup+0.210398 s]*
/proc/loadavg: 2.20 2.16 2.14 10/337 132755
/proc/meminfo: memFree=107342556/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=18975048 memory=56384 CPUtime=0.09 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 6773 0 144 0 7 2 0 0 20 0 18 0 13093321 19430449152 14096 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4743762 14096 5550 1 0 548885 0
[pid=132674/tid=132687] ppid=132666 vsize=18975048 memory=3461362060219711619 CPUtime=0.05 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 1078198336 5571 0 99 0 4 1 0 0 20 0 18 0 13093324 19430449152 14096 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=18975048 memory=5742 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13093337 19430449152 14096 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 13093338 19430449152 14096 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56384 KiB
[startup+0.316068 s]*
/proc/loadavg: 2.20 2.16 2.14 17/337 132755
/proc/meminfo: memFree=107295728/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=18975048 memory=69060 CPUtime=0.26 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 7678 0 145 0 24 2 0 0 20 0 18 0 13093321 19430449152 17265 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4743762 17265 5751 1 0 549580 0
[pid=132674/tid=132687] ppid=132666 vsize=18975048 memory=-8887682797869507260 CPUtime=0.14 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 5959 0 100 0 13 1 0 0 20 0 18 0 13093324 19430449152 17265 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=18975048 memory=1469082162985468249 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13093337 19430449152 17265 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 13093338 19430449152 17265 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69060 KiB
[startup+0.707117 s]
/proc/loadavg: 2.20 2.16 2.14 21/341 132759
/proc/meminfo: memFree=107079884/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19041612 memory=160660 CPUtime=1 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 15234 0 146 0 95 5 0 0 20 0 19 0 13093321 19498610688 40165 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4760403 40165 5797 1 0 555302 0
[pid=132674/tid=132687] ppid=132666 vsize=19041612 memory=52044 CPUtime=0.47 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 6175 0 101 0 44 3 0 0 20 0 19 0 13093324 19498610688 40165 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19041612 memory=12404 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13093337 19498610688 40165 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19041612 memory=5616 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 13093338 19498610688 40165 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19041612 memory=16076 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13093365 19498610688 40165 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160660 KiB
[startup+1.50107 s]
/proc/loadavg: 2.20 2.16 2.14 14/345 132763
/proc/meminfo: memFree=106805140/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=201456 CPUtime=2.57 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 15810 0 146 0 250 7 0 0 20 0 20 0 13093321 19566772224 50364 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 50364 5815 1 0 555603 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=0 CPUtime=1.19 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 6194 0 101 0 115 4 0 0 20 0 20 0 13093324 19566772224 50364 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 50364 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=5616 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 50364 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=16076 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 50364 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201456 KiB
[startup+3.10807 s]
/proc/loadavg: 2.67 2.25 2.17 9/345 132763
/proc/meminfo: memFree=105675744/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=471256 CPUtime=5.39 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 16853 0 146 0 525 14 0 0 20 0 20 0 13093321 19566772224 117814 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 117814 5832 1 0 827209 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=0 CPUtime=2.66 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 6326 0 101 0 257 9 0 0 20 0 20 0 13093324 19566772224 117814 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 117814 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=-8743567609793651388 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 117814 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=14972278291040441 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 117814 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 471256 KiB
[startup+6.30107 s]
/proc/loadavg: 2.67 2.25 2.17 8/346 132764
/proc/meminfo: memFree=102390368/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=1368824 CPUtime=8.91 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 19194 0 146 0 857 34 0 0 20 0 20 0 13093321 19566772224 342206 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 342206 5852 1 0 1568761 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=0 CPUtime=5.59 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 6731 0 101 0 534 25 0 0 20 0 20 0 13093324 19566772224 342206 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=6084475695141245270 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 342206 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 342206 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=6944656592455360608 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 342206 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1368824 KiB
[startup+12.7011 s]
/proc/loadavg: 2.77 2.28 2.18 9/346 132766
/proc/meminfo: memFree=97729720/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=2067688 CPUtime=15.46 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 20347 0 146 0 1493 53 0 0 20 0 20 0 13093321 19566772224 516922 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 516922 5853 1 0 1568772 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=1881260 CPUtime=11.5 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 7546 0 101 0 1113 37 0 0 20 0 20 0 13093324 19566772224 516922 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=2150796 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 516922 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 516922 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=804675 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 516922 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 15.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2067688 KiB
[startup+25.5003 s]
/proc/loadavg: 3.05 2.37 2.21 7/346 132767
/proc/meminfo: memFree=93037176/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=3047084 CPUtime=28.49 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 24243 0 146 0 2768 81 0 0 20 0 20 0 13093321 19566772224 761771 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 761771 5853 1 0 1568774 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=2334380 CPUtime=23.88 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 9427 0 101 0 2327 61 0 0 20 0 20 0 13093324 19566772224 761771 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=804675 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 761771 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=2334380 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 761771 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=3548 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 761771 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 28.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3047084 KiB
[startup+51.1073 s]
/proc/loadavg: 3.57 2.55 2.27 5/343 132772
/proc/meminfo: memFree=85629804/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=4262804 CPUtime=53.84 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 33428 0 146 0 5259 125 0 0 20 0 20 0 13093321 19566772224 1065701 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 1065701 5853 1 0 1568785 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=-8743567609793651388 CPUtime=47.46 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 11614 0 101 0 4655 91 0 0 20 0 20 0 13093324 19566772224 1065701 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 133 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=3674792 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 1065701 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=3510608 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 1065701 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=984180 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 1065701 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.18 5/338 134563
/proc/meminfo: memFree=41321252/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=3146968 CPUtime=3288.31 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 771317 0 146 0 327390 1441 0 0 20 0 20 0 13093321 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 786742 5884 1 0 798084 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=3907000 CPUtime=3180.22 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 260560 0 101 0 316823 1199 0 0 20 0 20 0 13093324 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4813 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=3907000 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=52044 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 3727 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 3288.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3146968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.23 4.18 7/336 134573
/proc/meminfo: memFree=40777792/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=3146968 CPUtime=3349.72 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 790266 0 146 0 333513 1459 0 0 20 0 20 0 13093321 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 786742 5884 1 0 798084 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=3146968 CPUtime=3239.24 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 265930 0 101 0 322711 1213 0 0 20 0 20 0 13093324 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4831 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 3822 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 3349.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3146968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.22 4.18 7/337 134589
/proc/meminfo: memFree=39937480/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=3146968 CPUtime=3411.05 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 809496 0 146 0 339629 1476 0 0 20 0 20 0 13093321 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 786742 5884 1 0 798084 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=3146968 CPUtime=3298.64 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 271718 0 101 0 328638 1226 0 0 20 0 20 0 13093324 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4838 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 3967 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 3411.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3146968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/337 134600
/proc/meminfo: memFree=39389268/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=3146968 CPUtime=3472.23 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 828125 0 146 0 345729 1494 0 0 20 0 20 0 13093321 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 786742 5884 1 0 798084 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=3146968 CPUtime=3357.63 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 276879 0 101 0 334523 1240 0 0 20 0 20 0 13093324 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4856 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 4065 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 786742 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 3472.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3146968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.22 4.18 5/336 134611
/proc/meminfo: memFree=38959528/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=3146996 CPUtime=3532.57 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 832108 0 146 0 351749 1508 0 0 20 0 20 0 13093321 19566772224 786749 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 786749 5884 1 0 798084 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=3146996 CPUtime=3416.78 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 279067 0 101 0 340426 1252 0 0 20 0 20 0 13093324 19566772224 786749 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4862 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 786749 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 4211 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 786749 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 786749 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 3532.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3146996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.21 4.18 6/336 135027
/proc/meminfo: memFree=68613400/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=3147012 CPUtime=3593.83 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 850256 0 146 0 357852 1531 0 0 20 0 20 0 13093321 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 786753 5884 1 0 798084 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=11360 CPUtime=3475.75 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 283806 0 101 0 346304 1271 0 0 20 0 20 0 13093324 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4890 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 4350 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=-9033493419990491836 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 3593.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3147012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3588.5 s]
/proc/loadavg: 4.26 4.22 4.19 5/336 135027
/proc/meminfo: memFree=67759208/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19108176 memory=3147012 CPUtime=3600.01 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 850640 0 146 0 358469 1532 0 0 20 0 20 0 13093321 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4777044 786753 5884 1 0 798084 0
[pid=132674/tid=132687] ppid=132666 vsize=19108176 memory=11360 CPUtime=3481.93 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) R 132666 132674 132609 0 -1 4194368 284190 0 101 0 346921 1272 0 0 20 0 20 0 13093324 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4890 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19108176 memory=3147012 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13093337 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 4350 0 0 0 0 0 0 0 20 0 20 0 13093338 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132756] ppid=132666 vsize=19108176 memory=3146968 CPUtime=0 cores=0,2
/proc/132674/task/132756/stat : 132756 (Timer-0) S 132666 132674 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13093365 19566772224 786753 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3147012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3588.66 s]
# the end of solver process 132674 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3584.89 s, system=15.3409 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3588.6 s]
/proc/loadavg: 4.26 4.22 4.19 5/336 135027
/proc/meminfo: memFree=67759208/131524600 swapFree=131071996/131071996
[pid=132674] ppid=132666 vsize=19307868 memory=3147580 CPUtime=3600.21 cores=0,2
/proc/132674/stat : 132674 (java) S 132666 132674 132609 0 -1 1077936128 853007 0 146 0 358489 1532 0 0 20 0 15 0 13093321 19771256832 786895 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 2 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
/proc/132674/statm: 4826967 786895 5885 1 0 799022 0
[pid=132674/tid=132687] ppid=132666 vsize=19307868 memory=7076 CPUtime=3482.03 cores=0,2
/proc/132674/task/132687/stat : 132687 (java) S 132666 132674 132609 0 -1 1077936192 284262 0 101 0 346931 1272 0 0 20 0 15 0 13093324 19771256832 786895 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4890 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132725] ppid=132666 vsize=19307868 memory=33760 CPUtime=0 cores=0,2
/proc/132674/task/132725/stat : 132725 (Finalizer) S 132666 132674 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 15 0 13093337 19771256832 786895 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
[pid=132674/tid=132753] ppid=132666 vsize=19307868 memory=-8743567609793651388 CPUtime=0 cores=0,2
/proc/132674/task/132753/stat : 132753 (Common-Cleaner) S 132666 132674 132609 0 -1 1077936192 4350 0 0 0 0 0 0 0 20 0 15 0 13093338 19771256832 786895 134679101440 94429611372544 94429611376240 140724624365328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429611384056 94429611384848 94429639180288 140724624372651 140724624372833 140724624372833 140724624379848 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3147580 KiB
Child status: 143
Real time (s): 3588.66
CPU time (s): 3600.23
CPU user time (s): 3584.89
CPU system time (s): 15.3409
CPU usage (%): 100.322
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6223676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.89
system time used= 15.3409
maximum resident set size= 6223684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 853059
page faults= 146
swaps= 0
block input operations= 21992
block output operations= 18021296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119162
involuntary context switches= 35218
# summary of solver processes directly reported to runsolver:
# pid: 132674
# total CPU time (s): 3600.23
# total CPU user time (s): 3584.89
# total CPU system time (s): 15.3409
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31002 second user time and 21.9207 second system time
The end
Begin job on nodeC025 at 2024-07-23 22:14:03 IDJOB=4440352 IDBENCH=146689 IDSOLVER=3079 FILE ID=nodeC025/4440352-1721765643 RUNJOBID= nodeC025-1721765643-132619 SLURM_JOB_ID= 7770670 Free space on /tmp= 890028 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440352-1721765643/watcher-4440352-1721765643 -o /tmp/evaluation-result-4440352-1721765643/solver-4440352-1721765643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721765643-132619 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440352-1721765643 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440352-1721765643.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e791e4af881e2fe08ee2208e231d7f8 RANDOM SEED=2138154298 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3497.468 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 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 : 3437.475 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 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 : 3599.083 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 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 : 3637.197 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 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 : 3503.559 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 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 : 3524.486 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 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 : 3587.673 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.51 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 : 3578.206 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 107522652 kB MemAvailable: 129623824 kB Buffers: 185248 kB Cached: 22646240 kB SwapCached: 0 kB Active: 1267400 kB Inactive: 21954844 kB Active(anon): 1424 kB Inactive(anon): 435560 kB Active(file): 1265976 kB Inactive(file): 21519284 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4828 kB Writeback: 0 kB AnonPages: 390804 kB Mapped: 108148 kB Shmem: 45912 kB KReclaimable: 311468 kB Slab: 425752 kB SReclaimable: 311468 kB SUnreclaim: 114284 kB KernelStack: 4016 kB PageTables: 10384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 733332 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20768 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 312020 kB DirectMap2M: 26724352 kB DirectMap1G: 109051904 kB Free space on /tmp at the end= 889996 MiB End job on nodeC025 at 2024-07-23 23:13:52