Trace number 4425067

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.3 3597.36

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
MD5SUM40fe69deba25156f693d1482e89859ad
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.00753
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables420
Total number of constraints41
Number of soft constraints41
Number of constraints which are clauses21
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
Top cost 1724
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 1723
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.10	c os.arch		amd64
0.11/0.11	c Free memory 		2104792832
0.11/0.11	c Max memory 		16282288128
0.11/0.11	c Total memory 		2113929216
0.11/0.11	c Number of processors 	2
0.11/0.14	--- Begin Solver configuration ---
0.11/0.14	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.11/0.14	Learn all clauses as in MiniSAT
0.11/0.14	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	No reason simplification
0.11/0.14	Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	timeout=2147483s
0.11/0.14	DB Simplification allowed=false
0.11/0.14	Listener: none
0.11/0.14	--- End Solver configuration ---
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c No reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4425067-1720879039.wbo
0.11/0.14	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.018s.
0.11/0.16	c declared #vars     420
0.11/0.16	c internal #vars     461
0.11/0.16	c #constraints  42
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20
0.11/0.16	c org.sat4j.specs.Constr$1 => 1
0.11/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 21
0.11/0.16	c 42 constraints processed.
0.11/0.17	c objective function length is 41 literals
0.30/0.25	c SATISFIABLE
0.30/0.25	c OPTIMIZING...
0.30/0.25	c Got one! Elapsed wall clock time (in seconds):0.113
0.30/0.26	o 29
1.06/0.64	c cleaning 2903 clauses out of 5811 with flag 32605/5811
1.99/1.21	c cleaning 4445 clauses out of 8907 with flag 68171/11810
2.60/1.82	c Got one! Elapsed wall clock time (in seconds):1.681
2.60/1.82	o 8
2.60/1.87	c Got one! Elapsed wall clock time (in seconds):1.725
2.60/1.87	o 4
3.01/2.24	c cleaning 7707 clauses out of 15519 with flag 33333/22867
3.01/2.26	c Got one! Elapsed wall clock time (in seconds):2.12
3.01/2.26	o 1
3.38/2.52	c cleaning 6559 clauses out of 13132 with flag 33181/28187
3.78/2.96	c cleaning 6281 clauses out of 12573 with flag 76340/34187
4.38/3.46	c cleaning 6638 clauses out of 13294 with flag 123311/41189
5.39/4.43	c cleaning 7329 clauses out of 14657 with flag 190267/49190
6.49/5.50	c cleaning 8163 clauses out of 16325 with flag 268193/58187
7.92/6.97	c cleaning 9081 clauses out of 18164 with flag 358510/68189
11.38/10.35	c cleaning 10038 clauses out of 20084 with flag 467558/79190
12.98/11.98	c cleaning 11020 clauses out of 22044 with flag 565241/91188
17.65/16.55	c cleaning 12005 clauses out of 24023 with flag 681535/104187
20.48/19.31	c cleaning 13007 clauses out of 26018 with flag 810608/118187
23.57/22.40	c cleaning 14002 clauses out of 28014 with flag 946969/133190
30.64/29.35	c cleaning 15004 clauses out of 30009 with flag 1099023/149187
34.71/33.38	c cleaning 15998 clauses out of 32007 with flag 1251623/166189
40.26/38.89	c cleaning 17001 clauses out of 34007 with flag 1409408/184187
48.41/46.95	c cleaning 17994 clauses out of 36006 with flag 1580601/203187
55.06/53.52	c cleaning 18998 clauses out of 38014 with flag 1754579/223189
64.78/63.15	c cleaning 20001 clauses out of 40014 with flag 1947611/244187
75.61/73.74	c cleaning 21006 clauses out of 42015 with flag 2147670/266189
85.02/83.11	c cleaning 21999 clauses out of 44008 with flag 2360704/289188
91.39/89.55	c cleaning 22996 clauses out of 46008 with flag 2595036/313187
99.29/97.47	c cleaning 23999 clauses out of 48012 with flag 2827790/338187
108.63/106.78	c cleaning 25003 clauses out of 50018 with flag 3097149/364192
117.71/115.78	c cleaning 26002 clauses out of 52014 with flag 3401612/391191
130.36/128.48	c cleaning 26995 clauses out of 54008 with flag 3685991/419187
143.96/141.95	c cleaning 27998 clauses out of 56013 with flag 3963892/448187
159.14/157.19	c cleaning 28994 clauses out of 58016 with flag 4252958/478188
177.86/175.78	c cleaning 30001 clauses out of 60021 with flag 4538385/509187
193.89/191.41	c cleaning 31002 clauses out of 62021 with flag 4833756/541188
213.45/211.09	c cleaning 32002 clauses out of 64018 with flag 5136760/574187
234.11/231.61	c cleaning 33004 clauses out of 66021 with flag 5433797/608192
257.89/255.58	c cleaning 34001 clauses out of 68013 with flag 5748719/643188
280.60/278.14	c cleaning 35000 clauses out of 70015 with flag 6048748/679191
310.54/308.17	c cleaning 35996 clauses out of 72011 with flag 6362157/716187
338.92/336.66	c cleaning 37004 clauses out of 74018 with flag 6641184/754190
373.26/371.06	c cleaning 38000 clauses out of 76011 with flag 6957006/793187
406.50/404.39	c cleaning 38999 clauses out of 78011 with flag 7270845/833187
441.40/438.73	c cleaning 39998 clauses out of 80014 with flag 7580637/874189
480.91/478.25	c cleaning 41007 clauses out of 82021 with flag 7875154/916194
515.98/513.24	c cleaning 41994 clauses out of 84007 with flag 8209657/959187
554.50/552.06	c cleaning 43000 clauses out of 86013 with flag 8604322/1003187
604.64/602.12	c cleaning 43996 clauses out of 88013 with flag 9007236/1048187
640.62/638.06	c cleaning 44999 clauses out of 90017 with flag 9353691/1094187
681.20/678.52	c cleaning 46003 clauses out of 92019 with flag 9707728/1141188
718.04/715.43	c cleaning 46997 clauses out of 94015 with flag 10084526/1189187
777.03/774.45	c cleaning 48003 clauses out of 96019 with flag 10574247/1238188
826.28/823.61	c cleaning 49003 clauses out of 98015 with flag 11078429/1288187
897.44/894.93	c cleaning 50001 clauses out of 100014 with flag 11635659/1339189
966.35/963.57	c cleaning 50999 clauses out of 102011 with flag 12156314/1391187
1023.52/1020.79	c cleaning 52002 clauses out of 104017 with flag 12665899/1444192
1078.10/1075.35	c cleaning 52995 clauses out of 106011 with flag 13163741/1498188
1131.06/1128.59	c cleaning 53999 clauses out of 108017 with flag 13584775/1553189
1196.50/1194.21	c cleaning 55003 clauses out of 110017 with flag 14051460/1609188
1258.59/1256.43	c cleaning 56000 clauses out of 112013 with flag 14529179/1666187
1325.94/1323.73	c cleaning 56998 clauses out of 114013 with flag 15048100/1724187
1386.21/1383.96	c cleaning 58001 clauses out of 116015 with flag 15525698/1783187
1442.31/1440.01	c cleaning 58999 clauses out of 118016 with flag 16029365/1843189
1496.39/1494.11	c cleaning 60003 clauses out of 120017 with flag 16568512/1904189
1567.25/1565.06	c cleaning 61000 clauses out of 122015 with flag 17192136/1966190
1665.99/1663.81	c cleaning 61998 clauses out of 124013 with flag 17905813/2029188
1747.17/1744.60	c cleaning 62998 clauses out of 126014 with flag 18519802/2093187
1814.04/1811.54	c cleaning 63999 clauses out of 128018 with flag 19129695/2158189
1898.22/1895.69	c cleaning 65002 clauses out of 130017 with flag 19725777/2224187
1975.39/1972.87	c cleaning 66002 clauses out of 132015 with flag 20315743/2291187
2071.04/2068.52	c cleaning 66995 clauses out of 134013 with flag 20951755/2359187
2150.52/2147.92	c cleaning 68003 clauses out of 136021 with flag 21573543/2428190
2252.10/2249.53	c cleaning 68989 clauses out of 138015 with flag 22248995/2498187
2382.09/2379.99	c cleaning 70011 clauses out of 140027 with flag 23023468/2569188
2481.40/2479.27	c cleaning 70997 clauses out of 142016 with flag 23753511/2641188
2563.95/2561.19	c cleaning 71998 clauses out of 144018 with flag 24493807/2714187
2661.79/2659.55	c cleaning 73005 clauses out of 146022 with flag 25157643/2788189
2762.06/2759.85	c cleaning 73999 clauses out of 148016 with flag 25827652/2863188
2863.25/2861.09	c cleaning 75000 clauses out of 150016 with flag 26582958/2939187
2984.41/2982.09	c cleaning 76004 clauses out of 152018 with flag 27326527/3016189
3115.68/3113.31	c cleaning 76996 clauses out of 154013 with flag 28135874/3094188
3247.07/3244.85	c cleaning 77999 clauses out of 156016 with flag 28938223/3173187
3403.47/3401.11	c cleaning 79001 clauses out of 158017 with flag 29773763/3253187
3515.64/3513.38	c cleaning 80003 clauses out of 160016 with flag 30470288/3334187
3577.25/3575.06	c cleaning 81002 clauses out of 162013 with flag 31247280/3416187
3600.02/3597.23	c starts		: 2109
3600.02/3597.24	c conflicts		: 3465624
3600.02/3597.24	c decisions		: 4347881
3600.02/3597.24	c propagations		: 48458324
3600.02/3597.24	c inspects		: 19640801104
3600.02/3597.24	c shortcuts		: 0
3600.02/3597.24	c learnt literals	: 0
3600.02/3597.24	c learnt binary clauses	: 0
3600.02/3597.24	c learnt ternary clauses	: 0
3600.02/3597.24	c learnt constraints	: 3465624
3600.02/3597.24	c ignored constraints	: 0
3600.02/3597.24	c root simplifications	: 0
3600.02/3597.24	c removed literals (reason simplification)	: 0
3600.02/3597.24	c reason swapping (by a shorter reason)	: 0
3600.02/3597.24	c Calls to reduceDB	: 81
3600.02/3597.24	c Number of update (reduction) of LBD	: 1877109
3600.02/3597.24	c Imported unit clauses	: 0
3600.02/3597.24	c No decision after first conflict	: false
3600.02/3597.24	c number of reductions to clauses (during analyze)	: 0
3600.02/3597.24	c number of learned constraints concerned by reduction	: 0
3600.02/3597.24	c number of learning phase by resolution	: 0
3600.02/3597.24	c number of learning phase by cutting planes	: 0
3600.02/3597.24	c number of rounding to 1 operations	: 0
3600.02/3597.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3597.24	c number of reductions of the coefficients by power 2 	: 0
3600.02/3597.24	c number of right shift for reduction by power 2 	: 0
3600.02/3597.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3597.24	c number of ending skipping 	: 0
3600.02/3597.24	c number of internal skipping 	: 0
3600.02/3597.24	c number of derivation steps 	: 0
3600.02/3597.24	c number of skipped derivation steps 	: 0
3600.02/3597.24	c number of remaining unassigned 	: 0
3600.02/3597.24	c number of remaining assigned 	: 0
3600.02/3597.25	c number of falsified literals weakened from reason	: 0
3600.02/3597.26	c number of falsified literals weakened from conflict	: 0
3600.02/3597.26	c time for arithmetic operations	: 0
3600.02/3597.26	c minimum degree of deleted constraints	: null
3600.02/3597.26	c maximum degree of deleted constraints	: null
3600.02/3597.26	c number of deleted constraints	: 0
3600.02/3597.26	c speed (assignments/second)	: 13471.579987979132
3600.02/3597.26	c non guided choices	: 1346
3600.23/3597.33	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 130448
3600.23/3597.33	s SATISFIABLE
3600.23/3597.33	c Found 4 solution(s)
3600.23/3597.33	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 
3600.23/3597.33	c objective function=1
3600.23/3597.33	c Total wall clock time (in seconds): 3597.179

Verifier Data 

OK	1

Watcher Data 

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: 63931 MiB (62488 MiB free)
  memory of node 1: 64510 MiB (63779 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425067-1720879039/watcher-4425067-1720879039 -o /tmp/evaluation-result-4425067-1720879039/solver-4425067-1720879039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720879051-715604 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425067-1720879039.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=715644, runsolver pid=715637
Current StackSize limit: 8192 KiB


[startup+0.101879 s]*
/proc/loadavg: 1.05 1.26 2.21 15/326 715733
/proc/meminfo: memFree=129146328/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=18975048 memory=60804 CPUtime=0.11 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 7090 0 0 0 9 2 0 0 20 0 18 0 140065754 19430449152 15201 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4743762 15201 5722 1 0 549232 0
[pid=715644/tid=715648] ppid=715637 vsize=18975048 memory=4026531971 CPUtime=0.06 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) S 715637 715644 712267 0 -1 1077936192 5657 0 0 0 5 1 0 0 20 0 18 0 140065755 19430449152 15201 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=18975048 memory=15975 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140065759 19430449152 15201 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140065760 19430449152 15201 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60804 KiB

[startup+0.209687 s]*
/proc/loadavg: 1.05 1.26 2.21 15/327 715734
/proc/meminfo: memFree=129094148/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19041612 memory=71908 CPUtime=0.3 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 8940 0 0 0 27 3 0 0 20 0 19 0 140065754 19498610688 17977 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4760403 17977 5907 1 0 550431 0
[pid=715644/tid=715648] ppid=715637 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 6002 0 0 0 15 2 0 0 20 0 19 0 140065755 19498610688 17977 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19041612 memory=15975 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 17977 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19041612 memory=14698495600756458 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 17977 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065772 19498610688 17977 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71908 KiB

[startup+0.306243 s]*
/proc/loadavg: 1.05 1.26 2.21 14/330 715737
/proc/meminfo: memFree=129073252/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19041612 memory=76880 CPUtime=0.49 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 10479 0 0 0 46 3 0 0 20 0 19 0 140065754 19498610688 19220 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4760403 19220 5939 1 0 551584 0
[pid=715644/tid=715648] ppid=715637 vsize=19041612 memory=-9033204248465547964 CPUtime=0.27 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 6030 0 0 0 25 2 0 0 20 0 19 0 140065755 19498610688 19220 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 19220 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 19220 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065772 19498610688 19220 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76880 KiB

[startup+0.704689 s]
/proc/loadavg: 1.05 1.26 2.21 12/330 715737
/proc/meminfo: memFree=129028676/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19041612 memory=87508 CPUtime=1.25 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 11430 0 0 0 122 3 0 0 20 0 19 0 140065754 19498610688 21877 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4760403 21877 5939 1 0 552071 0
[pid=715644/tid=715648] ppid=715637 vsize=19041612 memory=13196 CPUtime=0.65 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 6072 0 0 0 63 2 0 0 20 0 19 0 140065755 19498610688 21877 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19041612 memory=13196 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 21877 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 21877 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19041612 memory=1800 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065772 19498610688 21877 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87508 KiB

[startup+1.50026 s]
/proc/loadavg: 1.05 1.26 2.21 7/330 715739
/proc/meminfo: memFree=128948524/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19041612 memory=98888 CPUtime=2.3 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 13755 0 0 0 226 4 0 0 20 0 19 0 140065754 19498610688 24722 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4760403 24722 5939 1 0 552803 0
[pid=715644/tid=715648] ppid=715637 vsize=19041612 memory=13196 CPUtime=1.44 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 6408 0 0 0 142 2 0 0 20 0 19 0 140065755 19498610688 24722 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19041612 memory=1800 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 24722 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 24722 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19041612 memory=1812 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065772 19498610688 24722 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98888 KiB

[startup+3.10626 s]
/proc/loadavg: 1.29 1.31 2.22 6/333 715742
/proc/meminfo: memFree=128608132/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19041612 memory=140128 CPUtime=4.04 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 16706 0 0 0 399 5 0 0 20 0 19 0 140065754 19498610688 35032 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4760403 35032 5939 1 0 552821 0
[pid=715644/tid=715648] ppid=715637 vsize=19041612 memory=0 CPUtime=3.04 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 6998 0 0 0 301 3 0 0 20 0 19 0 140065755 19498610688 35032 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19041612 memory=13196 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 35032 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19041612 memory=11536 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 35032 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19041612 memory=37008 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065772 19498610688 35032 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 140128 KiB

[startup+6.30028 s]
/proc/loadavg: 1.29 1.31 2.22 7/334 715743
/proc/meminfo: memFree=128237272/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=267352 CPUtime=7.32 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 18850 0 0 0 725 7 0 0 20 0 20 0 140065754 19566772224 66838 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 66838 5971 1 0 553111 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=0 CPUtime=6.12 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 7395 0 0 0 608 4 0 0 20 0 20 0 140065755 19566772224 66838 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=5450906528474035754 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 66838 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 66838 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=98888 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 66838 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 267352 KiB

[startup+12.7003 s]
/proc/loadavg: 1.50 1.35 2.23 6/334 715744
/proc/meminfo: memFree=127552388/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=345480 CPUtime=13.78 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 21006 0 0 0 1369 9 0 0 20 0 20 0 140065754 19566772224 86370 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 86370 5990 1 0 553127 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=0 CPUtime=12.42 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 8166 0 0 0 1238 4 0 0 20 0 20 0 140065755 19566772224 86370 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=-8672354427834114748 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 86370 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=37008 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 86370 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=-8672354427834114748 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 86370 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 345480 KiB

[startup+25.5003 s]
/proc/loadavg: 2.13 1.50 2.26 6/334 715746
/proc/meminfo: memFree=125957000/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=652784 CPUtime=26.85 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 25680 0 0 0 2669 16 0 0 20 0 20 0 140065754 19566772224 163196 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 163196 5990 1 0 553127 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=0 CPUtime=24.86 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 9266 0 0 0 2482 4 0 0 20 0 20 0 140065755 19566772224 163196 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 163196 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 163196 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 163196 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 26.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 652784 KiB

[startup+51.1066 s]
/proc/loadavg: 2.77 1.70 2.31 6/336 715920
/proc/meminfo: memFree=123721260/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=968200 CPUtime=52.67 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 28831 0 0 0 5244 23 0 0 20 0 20 0 140065754 19566772224 242050 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 242050 5990 1 0 553127 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=890376 CPUtime=50.11 cores=5,7

################
# More data... #
################

[startup+3282.3 s]
/proc/loadavg: 4.19 4.18 4.17 6/335 717138
/proc/meminfo: memFree=100916068/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=3938552 CPUtime=3284.66 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 151424 0 0 0 328255 211 0 0 20 0 20 0 140065754 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 984638 6006 1 0 1024823 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=3938552 CPUtime=3262.42 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 54301 0 0 0 326205 37 0 0 20 0 20 0 140065755 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 2125 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 3284.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3938552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.19 4.17 6/335 717148
/proc/meminfo: memFree=100913776/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=3938552 CPUtime=3344.57 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 151798 0 0 0 334244 213 0 0 20 0 20 0 140065754 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 984638 6006 1 0 1024823 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=3938552 CPUtime=3322.29 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 54670 0 0 0 332192 37 0 0 20 0 20 0 140065755 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 2125 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=3938552 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 984638 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 3344.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3938552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.20 4.18 6/335 717160
/proc/meminfo: memFree=100913476/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=3938568 CPUtime=3404.66 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 152322 0 0 0 340252 214 0 0 20 0 20 0 140065754 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 984642 6006 1 0 1024823 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=11536 CPUtime=3381.98 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 54878 0 0 0 338161 37 0 0 20 0 20 0 140065755 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=3938568 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=3938568 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 2125 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=2760 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 3404.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3938568 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.20 4.18 6/335 717554
/proc/meminfo: memFree=100906132/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=3938568 CPUtime=3464.56 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 153061 0 0 0 346240 216 0 0 20 0 20 0 140065754 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 984642 6006 1 0 1024823 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=3938568 CPUtime=3441.85 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 55404 0 0 0 344148 37 0 0 20 0 20 0 140065755 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=3938568 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 2269 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=32196 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 984642 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 3464.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3938568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.17 6/332 717564
/proc/meminfo: memFree=100904112/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=3938712 CPUtime=3524.63 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 155129 0 0 0 352244 219 0 0 20 0 20 0 140065754 19566772224 984678 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 984678 6006 1 0 1024823 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=3938712 CPUtime=3501.52 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 56185 0 0 0 350115 37 0 0 20 0 20 0 140065755 19566772224 984678 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=3938568 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 984678 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=1469364711787759449 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 2269 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 984678 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=3938712 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 984678 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 3524.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3938712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.17 6/331 717641
/proc/meminfo: memFree=111923364/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=4021188 CPUtime=3584.72 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 158732 0 0 0 358250 222 0 0 20 0 20 0 140065754 19566772224 1005297 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 1005297 6006 1 0 1024823 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=37008 CPUtime=3560.93 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 58967 0 0 0 356056 37 0 0 20 0 20 0 140065755 19566772224 1005297 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 1005297 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=3938912 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 2269 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 1005297 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=3938912 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 1005297 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 3584.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4021188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.2 s]
/proc/loadavg: 4.24 4.18 4.18 5/332 717712
/proc/meminfo: memFree=119859296/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19108176 memory=4158656 CPUtime=3600.02 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 167544 0 0 0 359776 226 0 0 20 0 20 0 140065754 19566772224 1039664 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4777044 1039664 6006 1 0 1265483 0
[pid=715644/tid=715648] ppid=715637 vsize=19108176 memory=11436 CPUtime=3575.67 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 60153 0 0 0 357528 39 0 0 20 0 20 0 140065755 19566772224 1039664 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19108176 memory=-8672354427834114748 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 1039664 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 2269 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 1039664 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715734] ppid=715637 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/715644/task/715734/stat : 715734 (Timer-0) S 715637 715644 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065772 19566772224 1039664 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158656 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3597.36 s]
# the end of solver process 715644 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3598.02 s, system=2.28415 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3597.32 s]
/proc/loadavg: 4.24 4.18 4.18 5/332 717712
/proc/meminfo: memFree=119859296/131524600 swapFree=131071996/131071996
[pid=715644] ppid=715637 vsize=19307868 memory=4167540 CPUtime=3600.23 cores=5,7
/proc/715644/stat : 715644 (java) S 715637 715644 712267 0 -1 1077936128 169337 0 0 0 359797 226 0 0 20 0 21 0 140065754 19771256832 1041885 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
/proc/715644/statm: 4826967 1041885 6005 1 0 1266391 0
[pid=715644/tid=715648] ppid=715637 vsize=19307868 memory=3938712 CPUtime=3575.78 cores=5,7
/proc/715644/task/715648/stat : 715648 (java) R 715637 715644 712267 0 -1 4194368 60226 0 0 0 357539 39 0 0 20 0 21 0 140065755 19771256832 1041885 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715691] ppid=715637 vsize=19307868 memory=3938568 CPUtime=0 cores=5,7
/proc/715644/task/715691/stat : 715691 (Finalizer) S 715637 715644 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140065759 19771256832 1041885 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
[pid=715644/tid=715710] ppid=715637 vsize=19307868 memory=4039832 CPUtime=0 cores=5,7
/proc/715644/task/715710/stat : 715710 (Common-Cleaner) S 715637 715644 712267 0 -1 1077936192 2269 0 0 0 0 0 0 0 20 0 21 0 140065760 19771256832 1041885 134679101440 94625539276800 94625539280496 140735325278864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94625539288312 94625539289104 94625542156288 140735325287405 140735325287495 140735325287495 140735325294536 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4167540 KiB

Child status: 143

Real time (s): 3597.36
CPU time (s): 3600.3
CPU user time (s): 3598.02
CPU system time (s): 2.28415
CPU usage (%): 100.082
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4167540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.02
system time used= 2.28415
maximum resident set size= 4168652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107065
involuntary context switches= 7684


# summary of solver processes directly reported to runsolver:
#   pid: 715644
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3598.02
#   total CPU system time (s): 2.28415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10289 second user time and 21.6401 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-13 15:57:32
IDJOB=4425067
IDBENCH=143157
IDSOLVER=3037
FILE ID=nodeC017/4425067-1720879039
RUNJOBID= nodeC017-1720879051-715604
SLURM_JOB_ID= 7483748
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425067-1720879039/watcher-4425067-1720879039 -o /tmp/evaluation-result-4425067-1720879039/solver-4425067-1720879039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720879051-715604 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4425067-1720879039.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 40fe69deba25156f693d1482e89859ad
RANDOM SEED=242549939

nodeC017.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		: 3263.859
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.46
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		: 2905.953
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	: 7006.99
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		: 3543.002
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.46
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		: 3593.881
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	: 7006.99
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		: 2897.262
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.46
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		: 3678.736
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	: 7006.99
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		: 3528.890
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.46
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		: 3307.701
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	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129300936 kB
MemAvailable:   129798556 kB
Buffers:          326752 kB
Cached:          1015292 kB
SwapCached:            0 kB
Active:           572376 kB
Inactive:        1094564 kB
Active(anon):       1472 kB
Inactive(anon):   360812 kB
Active(file):     570904 kB
Inactive(file):   733752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1648 kB
Writeback:             0 kB
AnonPages:        325188 kB
Mapped:           101720 kB
Shmem:             37720 kB
KReclaimable:      65220 kB
Slab:             162808 kB
SReclaimable:      65220 kB
SUnreclaim:        97588 kB
KernelStack:        3872 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     658804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53632 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 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:      162516 kB
DirectMap2M:    11145216 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC017 at 2024-07-13 16:57:29