Trace number 4451341

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 Cutting Planes 2024 2024-07-12? (TO) 3600.33 3528.86

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v100-n1.opb
MD5SUM45eb186e954a64c3939c4a0ffb1dff0e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.02559
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables199
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	 - never skip resolution steps
0.14/0.15	 - Auto-division on coefficients is disabled
0.14/0.15	 - No postprocessing
0.14/0.15	 - Conflict is considered as is when resolving
0.14/0.15	 - Use constraints as they come during conflict analysis
0.14/0.15	 - Weaken first using unassigned literals
0.14/0.15	 - Bump strategy: ALWAYS_ONE
0.14/0.15	 - Bumper: EFFECTIVE
0.14/0.15	--- Begin Solver configuration ---
0.14/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.14/0.15	Learn all clauses as in MiniSAT
0.14/0.15	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	No reason simplification
0.14/0.15	Dynamic restart strategy considering the size of the coefficients
0.14/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.14/0.15	timeout=2147483s
0.14/0.15	DB Simplification allowed=false
0.14/0.15	Listener: none
0.14/0.15	--- End Solver configuration ---
0.14/0.15	c Pseudo Boolean Optimization by upper bound
0.14/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	c  - never skip resolution steps
0.14/0.15	c  - Auto-division on coefficients is disabled
0.14/0.15	c  - No postprocessing
0.14/0.15	c  - Conflict is considered as is when resolving
0.14/0.15	c  - Use constraints as they come during conflict analysis
0.14/0.15	c  - Weaken first using unassigned literals
0.14/0.15	c  - Bump strategy: ALWAYS_ONE
0.14/0.15	c  - Bumper: EFFECTIVE
0.14/0.15	c --- Begin Solver configuration ---
0.14/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.14/0.15	c Learn all clauses as in MiniSAT
0.14/0.15	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	c No reason simplification
0.14/0.15	c Dynamic restart strategy considering the size of the coefficients
0.14/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.14/0.15	c timeout=2147483s
0.14/0.15	c DB Simplification allowed=false
0.14/0.15	c Listener: none
0.14/0.15	c --- End Solver configuration ---
0.14/0.15	c solving HOME/instance-4451341-1721428179.opb
0.14/0.15	c reading problem ... 
0.14/0.16	c  no objective function found
0.14/0.17	c ... done. Wall clock time 0.019s.
0.14/0.17	c declared #vars     199
0.14/0.17	c #constraints  200
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.14/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 198
0.14/0.17	c 200 constraints processed.
7.43/3.85	c cleaning 2499 clauses out of 5000 with flag 0/5000
9.39/5.44	c cleaning 4251 clauses out of 8502 with flag 0/11001
11.69/7.57	c cleaning 5617 clauses out of 11250 with flag 0/18000
14.08/9.82	c cleaning 6814 clauses out of 13634 with flag 0/26001
16.88/12.66	c cleaning 7900 clauses out of 15819 with flag 0/35000
20.32/16.10	c cleaning 8963 clauses out of 17927 with flag 0/45008
24.35/20.00	c cleaning 9972 clauses out of 19956 with flag 0/56000
29.27/24.96	c cleaning 10985 clauses out of 21984 with flag 0/68000
35.19/30.85	c cleaning 12002 clauses out of 24005 with flag 0/81006
41.74/37.31	c cleaning 13000 clauses out of 26000 with flag 0/95003
47.52/43.08	c cleaning 14000 clauses out of 27999 with flag 0/110002
53.98/49.31	c cleaning 15001 clauses out of 30001 with flag 0/126004
61.24/56.48	c cleaning 15999 clauses out of 31998 with flag 0/143002
69.18/64.27	c cleaning 16999 clauses out of 33998 with flag 0/161001
78.17/73.01	c cleaning 17999 clauses out of 35999 with flag 0/180001
87.68/82.48	c cleaning 18997 clauses out of 38000 with flag 0/200001
99.90/94.48	c cleaning 19995 clauses out of 40003 with flag 0/221001
112.40/106.72	c cleaning 21002 clauses out of 42007 with flag 0/243000
124.39/118.56	c cleaning 22001 clauses out of 44006 with flag 0/266001
135.68/129.54	c cleaning 22994 clauses out of 46004 with flag 0/290000
144.14/137.73	c cleaning 24003 clauses out of 48011 with flag 0/315001
153.74/147.12	c cleaning 25000 clauses out of 50007 with flag 0/341000
165.13/158.29	c cleaning 25996 clauses out of 52007 with flag 0/368000
181.95/174.60	c cleaning 27007 clauses out of 54014 with flag 0/396003
198.81/191.19	c cleaning 27999 clauses out of 56005 with flag 0/425001
214.51/206.52	c cleaning 28997 clauses out of 58005 with flag 0/455000
233.96/225.76	c cleaning 30004 clauses out of 60009 with flag 0/486001
256.41/247.76	c cleaning 30997 clauses out of 62004 with flag 0/518000
282.91/273.76	c cleaning 32000 clauses out of 64009 with flag 0/551002
305.32/295.73	c cleaning 33002 clauses out of 66007 with flag 0/585000
323.41/313.45	c cleaning 33993 clauses out of 68005 with flag 0/620000
347.08/336.60	c cleaning 35002 clauses out of 70013 with flag 0/656001
373.69/362.62	c cleaning 36007 clauses out of 72013 with flag 0/693003
404.74/393.22	c cleaning 36996 clauses out of 74003 with flag 0/731000
419.20/407.36	c cleaning 37999 clauses out of 76008 with flag 0/770001
433.46/421.28	c cleaning 38997 clauses out of 78008 with flag 0/810000
450.07/437.58	c cleaning 39999 clauses out of 80011 with flag 0/851000
469.76/456.97	c cleaning 41000 clauses out of 82012 with flag 0/893000
492.96/479.84	c cleaning 42002 clauses out of 84012 with flag 0/936000
517.26/503.64	c cleaning 43004 clauses out of 86011 with flag 0/980001
541.21/527.26	c cleaning 44000 clauses out of 88006 with flag 0/1025000
562.29/547.96	c cleaning 45000 clauses out of 90007 with flag 0/1071001
590.57/575.55	c cleaning 45998 clauses out of 92009 with flag 0/1118003
612.18/596.75	c cleaning 46998 clauses out of 94009 with flag 0/1166001
636.68/620.75	c cleaning 48000 clauses out of 96010 with flag 0/1215000
667.50/650.77	c cleaning 49006 clauses out of 98012 with flag 0/1265002
698.10/680.96	c cleaning 49996 clauses out of 100004 with flag 0/1316000
727.82/710.04	c cleaning 50997 clauses out of 102008 with flag 0/1368000
756.91/738.61	c cleaning 52004 clauses out of 104012 with flag 0/1421001
787.85/769.28	c cleaning 52998 clauses out of 106009 with flag 0/1475002
820.70/801.33	c cleaning 54002 clauses out of 108010 with flag 0/1530001
853.21/833.42	c cleaning 55000 clauses out of 110007 with flag 0/1586000
888.02/867.68	c cleaning 55994 clauses out of 112007 with flag 0/1643000
920.23/899.06	c cleaning 57001 clauses out of 114014 with flag 0/1701001
960.57/938.73	c cleaning 58006 clauses out of 116015 with flag 0/1760003
1006.59/983.93	c cleaning 59004 clauses out of 118007 with flag 0/1820001
1058.27/1034.66	c cleaning 59993 clauses out of 120003 with flag 0/1881001
1095.33/1070.85	c cleaning 61002 clauses out of 122009 with flag 0/1943000
1142.78/1117.49	c cleaning 62002 clauses out of 124009 with flag 0/2006002
1197.83/1171.61	c cleaning 63003 clauses out of 126007 with flag 0/2070002
1243.45/1216.51	c cleaning 63997 clauses out of 128003 with flag 0/2135001
1291.14/1263.34	c cleaning 64994 clauses out of 130005 with flag 0/2201000
1331.82/1303.22	c cleaning 66004 clauses out of 132011 with flag 0/2268000
1369.11/1340.03	c cleaning 66996 clauses out of 134007 with flag 0/2336000
1408.90/1379.15	c cleaning 68005 clauses out of 136011 with flag 0/2405000
1480.77/1450.00	c cleaning 68994 clauses out of 138006 with flag 0/2475000
1542.21/1510.38	c cleaning 70009 clauses out of 140018 with flag 0/2546006
1584.57/1552.05	c cleaning 70995 clauses out of 142003 with flag 0/2618000
1632.15/1598.60	c cleaning 72002 clauses out of 144011 with flag 0/2691003
1686.41/1651.80	c cleaning 72999 clauses out of 146006 with flag 0/2765000
1734.13/1698.63	c cleaning 74002 clauses out of 148009 with flag 0/2840002
1788.86/1752.64	c cleaning 75000 clauses out of 150005 with flag 0/2916000
1859.81/1822.88	c cleaning 75997 clauses out of 152006 with flag 0/2993001
1904.56/1866.66	c cleaning 77001 clauses out of 154010 with flag 0/3071002
2020.85/1980.91	c cleaning 78002 clauses out of 156007 with flag 0/3150000
2080.97/2039.54	c cleaning 78995 clauses out of 158007 with flag 0/3230002
2156.41/2113.77	c cleaning 80002 clauses out of 160011 with flag 0/3311001
2215.39/2171.35	c cleaning 81002 clauses out of 162011 with flag 0/3393003
2287.54/2241.55	c cleaning 81997 clauses out of 164007 with flag 0/3476001
2344.05/2296.71	c cleaning 83000 clauses out of 166010 with flag 0/3560001
2419.59/2370.64	c cleaning 84000 clauses out of 168011 with flag 0/3645002
2475.25/2424.95	c cleaning 85001 clauses out of 170010 with flag 0/3731001
2556.08/2503.89	c cleaning 85998 clauses out of 172008 with flag 0/3818000
2636.65/2583.13	c cleaning 86999 clauses out of 174011 with flag 0/3906001
2724.66/2669.52	c cleaning 88002 clauses out of 176014 with flag 0/3995003
2821.60/2764.99	c cleaning 89005 clauses out of 178009 with flag 0/4085000
2967.86/2909.02	c cleaning 89999 clauses out of 180005 with flag 0/4176001
3062.99/3002.30	c cleaning 91000 clauses out of 182007 with flag 0/4268002
3127.44/3065.39	c cleaning 91993 clauses out of 184005 with flag 0/4361000
3191.75/3128.22	c cleaning 93002 clauses out of 186012 with flag 0/4455000
3256.93/3192.32	c cleaning 93996 clauses out of 188010 with flag 0/4550000
3320.72/3254.82	c cleaning 95002 clauses out of 190017 with flag 0/4646003
3376.37/3309.76	c cleaning 96000 clauses out of 192014 with flag 0/4743002
3450.28/3381.80	c cleaning 97001 clauses out of 194013 with flag 0/4841001
3523.71/3454.19	c cleaning 98006 clauses out of 196017 with flag 0/4940006
3600.05/3528.72	c starts		: 35
3600.05/3528.72	c conflicts		: 5040002
3600.05/3528.72	c decisions		: 5745229
3600.05/3528.72	c propagations		: 33521638
3600.05/3528.72	c inspects		: 6434540061
3600.05/3528.72	c shortcuts		: 0
3600.05/3528.72	c learnt literals	: 0
3600.05/3528.72	c learnt binary clauses	: 0
3600.05/3528.72	c learnt ternary clauses	: 0
3600.05/3528.72	c learnt constraints	: 5040002
3600.05/3528.72	c ignored constraints	: 0
3600.05/3528.72	c root simplifications	: 0
3600.05/3528.72	c removed literals (reason simplification)	: 0
3600.05/3528.72	c reason swapping (by a shorter reason)	: 0
3600.05/3528.72	c Calls to reduceDB	: 96
3600.05/3528.72	c Number of update (reduction) of LBD	: 1514751
3600.05/3528.72	c Imported unit clauses	: 0
3600.05/3528.72	c No decision after first conflict	: false
3600.05/3528.72	c number of reductions to clauses (during analyze)	: 0
3600.05/3528.72	c number of learned constraints concerned by reduction	: 0
3600.05/3528.72	c number of learning phase by resolution	: 0
3600.05/3528.72	c number of learning phase by cutting planes	: 0
3600.05/3528.72	c number of rounding to 1 operations	: 0
3600.05/3528.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3528.72	c number of reductions of the coefficients by power 2 	: 0
3600.05/3528.72	c number of right shift for reduction by power 2 	: 0
3600.05/3528.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3528.72	c number of ending skipping 	: 0
3600.05/3528.72	c number of internal skipping 	: 0
3600.05/3528.72	c number of derivation steps 	: 23016331
3600.05/3528.72	c number of skipped derivation steps 	: 0
3600.05/3528.72	c number of remaining unassigned 	: 11550749
3600.05/3528.72	c number of remaining assigned 	: 491664304
3600.05/3528.72	c number of falsified literals weakened from reason	: 0
3600.05/3528.72	c number of falsified literals weakened from conflict	: 0
3600.05/3528.72	c time for arithmetic operations	: 32432245360
3600.05/3528.72	c minimum degree of deleted constraints	: 1
3600.05/3528.72	c maximum degree of deleted constraints	: 71110156207947972132296866924080350543707217945471974738863567810090618
3600.05/3528.72	c number of deleted constraints	: 4911064
3600.05/3528.74	c speed (assignments/second)	: 9500.138584151755
3600.05/3528.74	c non guided choices	: 45
3600.05/3528.81	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 19
3600.29/3528.82	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 197988
3600.29/3528.82	s UNKNOWN
3600.29/3528.82	c Total wall clock time (in seconds): 3528.671

Verifier Data 

ERROR: no interpretation found !

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: 63968 MiB (55567 MiB free)
  memory of node 1: 64473 MiB (54889 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451341-1721428179/watcher-4451341-1721428179 -o /tmp/evaluation-result-4451341-1721428179/solver-4451341-1721428179 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721421037-1046941 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451341-1721428179.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=1051863, runsolver pid=1051860

[startup+0.100949 s]*
/proc/loadavg: 4.33 4.39 4.32 5/331 1051881
/proc/meminfo: memFree=113065908/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=18975048 memory=62680 CPUtime=0.14 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 7241 0 0 0 12 2 0 0 20 0 18 0 194980319 19430449152 15670 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4743762 15670 5537 1 0 549356 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) D 1051860 1051863 1046930 0 -1 1078198336 5768 0 0 0 7 1 0 0 20 0 18 0 194980320 19430449152 15670 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194980322 19430449152 15670 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194980323 19430449152 15670 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62680 KiB

[startup+0.207188 s]*
/proc/loadavg: 4.33 4.39 4.32 6/332 1051882
/proc/meminfo: memFree=113059236/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19041612 memory=70308 CPUtime=0.32 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 7870 0 0 0 30 2 0 0 20 0 19 0 194980319 19498610688 17577 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4760403 17577 5837 1 0 549996 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 1077936192 6095 0 0 0 16 2 0 0 20 0 19 0 194980320 19498610688 17577 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19041612 memory=1905144 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194980322 19498610688 17577 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19041612 memory=15538522484377282 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194980323 19498610688 17577 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194980337 19498610688 17577 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70308 KiB

[startup+0.314613 s]*
/proc/loadavg: 4.33 4.39 4.32 7/332 1051882
/proc/meminfo: memFree=113033772/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19041612 memory=95680 CPUtime=0.52 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 10244 0 0 0 49 3 0 0 20 0 19 0 194980319 19498610688 23920 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4760403 23920 5837 1 0 551302 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19041612 memory=-7739820217149515103 CPUtime=0.27 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 6136 0 0 0 25 2 0 0 20 0 19 0 194980320 19498610688 23920 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194980322 19498610688 23920 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194980323 19498610688 23920 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194980337 19498610688 23920 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95680 KiB

[startup+0.700627 s]
/proc/loadavg: 4.33 4.39 4.32 7/332 1051882
/proc/meminfo: memFree=112962548/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=187144 CPUtime=1.26 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 17785 0 0 0 120 6 0 0 20 0 20 0 194980319 19566772224 46786 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 46786 5837 1 0 556471 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=50416 CPUtime=0.59 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 6186 0 0 0 56 3 0 0 20 0 20 0 194980320 19566772224 46786 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 46786 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=2328 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 46786 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 46786 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187144 KiB

[startup+1.50562 s]
/proc/loadavg: 4.33 4.39 4.32 6/333 1051883
/proc/meminfo: memFree=112934540/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=245608 CPUtime=2.87 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 25380 0 0 0 278 9 0 0 20 0 20 0 194980319 19566772224 61402 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 61402 5853 1 0 557959 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=13124 CPUtime=1.36 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 6359 0 0 0 131 5 0 0 20 0 20 0 194980320 19566772224 61402 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 61402 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=2328 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 61402 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 61402 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 245608 KiB

[startup+3.10662 s]
/proc/loadavg: 4.39 4.40 4.32 8/333 1051951
/proc/meminfo: memFree=117731520/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=1269384 CPUtime=6.04 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 31924 0 0 0 573 31 0 0 20 0 20 0 194980319 19566772224 317346 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 317346 5869 1 0 558770 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=0 CPUtime=2.92 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 7486 0 0 0 267 25 0 0 20 0 20 0 194980320 19566772224 317346 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=-7739820217149515103 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 317346 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 317346 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=2328 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 317346 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1269384 KiB

[startup+6.30029 s]
/proc/loadavg: 4.39 4.40 4.32 5/333 1051951
/proc/meminfo: memFree=116485012/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=1330552 CPUtime=10.39 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 32902 0 0 0 1007 32 0 0 20 0 20 0 194980319 19566772224 332638 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 332638 5869 1 0 558813 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=2328 CPUtime=6.06 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 8351 0 0 0 579 27 0 0 20 0 20 0 194980320 19566772224 332638 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 332638 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 332638 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 332638 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 10.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1330552 KiB

[startup+12.7003 s]
/proc/loadavg: 4.47 4.42 4.33 6/333 1051953
/proc/meminfo: memFree=115923708/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=1351684 CPUtime=16.98 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 33688 0 0 0 1665 33 0 0 20 0 20 0 194980319 19566772224 337921 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 337921 5869 1 0 559033 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=1349636 CPUtime=12.31 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 8905 0 0 0 1204 27 0 0 20 0 20 0 194980320 19566772224 337921 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=1342840 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 337921 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=-7739820217149515103 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 337921 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=4294968054 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 337921 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 16.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1351684 KiB

[startup+25.5003 s]
/proc/loadavg: 4.40 4.41 4.32 5/333 1051954
/proc/meminfo: memFree=115468152/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=1785044 CPUtime=29.86 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 41090 0 0 0 2944 42 0 0 20 0 20 0 194980319 19566772224 446261 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 446261 5869 1 0 665549 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=14364 CPUtime=24.77 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 11051 0 0 0 2442 35 0 0 20 0 20 0 194980320 19566772224 446261 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=50416 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 446261 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=1360304 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 446261 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=2457 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 446261 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 29.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1785044 KiB

[startup+51.1058 s]
/proc/loadavg: 4.20 4.36 4.31 5/334 1052150
/proc/meminfo: memFree=117081992/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=2309088 CPUtime=55.82 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 47633 0 0 0 5529 53 0 0 20 0 20 0 194980319 19566772224 577272 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 577272 5869 1 0 793000 0

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

[startup+3222.3 s]
/proc/loadavg: 4.33 4.33 4.28 5/333 1053368
/proc/meminfo: memFree=108437948/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3287.6 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 338636 0 0 0 328491 269 0 0 20 0 20 0 194980319 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 1165634 5901 1 0 1178499 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=50416 CPUtime=3127.61 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 160453 0 0 0 312666 95 0 0 20 0 20 0 194980320 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 3131 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 3287.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4662536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.30 4.32 4.28 5/333 1053381
/proc/meminfo: memFree=108412360/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3348.68 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 340626 0 0 0 334597 271 0 0 20 0 20 0 194980319 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 1165634 5901 1 0 1178499 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=13124 CPUtime=3185.98 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 161983 0 0 0 318502 96 0 0 20 0 20 0 194980320 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 3220 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 3348.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4662536 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.30 4.27 5/333 1053774
/proc/meminfo: memFree=108342048/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3410.02 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 345900 0 0 0 340728 274 0 0 20 0 20 0 194980319 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 1165634 5901 1 0 1178499 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=14364 CPUtime=3244.26 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 164549 0 0 0 324330 96 0 0 20 0 20 0 194980320 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 3310 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 3410.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4662536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.28 4.27 5/333 1053784
/proc/meminfo: memFree=108325688/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3471.13 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 351152 0 0 0 346836 277 0 0 20 0 20 0 194980319 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 1165634 5901 1 0 1178499 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3302.64 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 167590 0 0 0 330168 96 0 0 20 0 20 0 194980320 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=29676 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 3414 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=50416 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 3471.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4662536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.25 4.26 5/332 1053795
/proc/meminfo: memFree=108300080/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3532.12 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 356483 0 0 0 352931 281 0 0 20 0 20 0 194980319 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 1165634 5901 1 0 1178499 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3360.99 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 169545 0 0 0 336002 97 0 0 20 0 20 0 194980320 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=50416 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 3414 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 3532.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4662536 KiB

[startup+3522.3 s]
/proc/loadavg: 3.75 4.14 4.22 4/307 1054008
/proc/meminfo: memFree=113372796/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3593.66 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 358222 0 0 0 359082 284 0 0 20 0 20 0 194980319 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 1165634 5901 1 0 1178499 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3419.04 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 170900 0 0 0 341807 97 0 0 20 0 20 0 194980320 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 3465 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 3593.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4662536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3528.7 s]
/proc/loadavg: 3.64 4.10 4.21 4/307 1054010
/proc/meminfo: memFree=113372932/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3600.05 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 358568 0 0 0 359720 285 0 0 20 0 20 0 194980319 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4777044 1165634 5901 1 0 1178499 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=3425.43 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 171017 0 0 0 342446 97 0 0 20 0 20 0 194980320 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19108176 memory=4662536 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194980322 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 3465 0 0 0 0 0 0 0 20 0 20 0 194980323 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051882] ppid=1051860 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1051863/task/1051882/stat : 1051882 (Timer-0) S 1051860 1051863 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194980337 19566772224 1165634 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4662536 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.45 s, system=2.87265 s

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

[startup+3528.82 s]
/proc/loadavg: 3.64 4.10 4.21 4/307 1054010
/proc/meminfo: memFree=113372932/131524600 swapFree=131071216/131071996
[pid=1051863] ppid=1051860 vsize=19307868 memory=4663172 CPUtime=3600.29 cores=4,6
/proc/1051863/stat : 1051863 (java) S 1051860 1051863 1046930 0 -1 1077936128 362181 0 0 0 359744 285 0 0 20 0 21 0 194980319 19771256832 1165793 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
/proc/1051863/statm: 4826967 1165793 5900 1 0 1179386 0
[pid=1051863/tid=1051865] ppid=1051860 vsize=19307868 memory=-7739820217149515103 CPUtime=3425.55 cores=4,6
/proc/1051863/task/1051865/stat : 1051865 (java) R 1051860 1051863 1046930 0 -1 4194368 171017 0 0 0 342458 97 0 0 20 0 21 0 194980320 19771256832 1165793 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051874] ppid=1051860 vsize=19307868 memory=5628 CPUtime=0 cores=4,6
/proc/1051863/task/1051874/stat : 1051874 (Finalizer) S 1051860 1051863 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 194980322 19771256832 1165793 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
[pid=1051863/tid=1051881] ppid=1051860 vsize=19307868 memory=29676 CPUtime=0 cores=4,6
/proc/1051863/task/1051881/stat : 1051881 (Common-Cleaner) S 1051860 1051863 1046930 0 -1 1077936192 3465 0 0 0 0 0 0 0 20 0 21 0 194980323 19771256832 1165793 134679101440 94009395044352 94009395048048 140724531136320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94009395055864 94009395056656 94009401270272 140724531143667 140724531143775 140724531143775 140724531150792 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4663172 KiB

Child status: 143

Real time (s): 3528.86
CPU time (s): 3600.33
CPU user time (s): 3597.45
CPU system time (s): 2.87265
CPU usage (%): 102.025
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4663172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.45
system time used= 2.87265
maximum resident set size= 4664132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163095
involuntary context switches= 13554


# summary of solver processes directly reported to runsolver:
#   pid: 1051863
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3597.45
#   total CPU system time (s): 2.87265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65719 second user time and 18.5528 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-20 00:29:51
IDJOB=4451341
IDBENCH=162393
IDSOLVER=3052
FILE ID=nodeC018/4451341-1721428179
RUNJOBID= nodeC018-1721421037-1046941
SLURM_JOB_ID= 7545491
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v100-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451341-1721428179/watcher-4451341-1721428179 -o /tmp/evaluation-result-4451341-1721428179/solver-4451341-1721428179 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721421037-1046941 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451341-1721428179.opb

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

MD5SUM BENCH= 45eb186e954a64c3939c4a0ffb1dff0e
RANDOM SEED=884482758

nodeC018.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		: 3682.196
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.52
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		: 3683.606
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.30
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		: 3693.457
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.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.962
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.30
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		: 3614.719
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.52
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		: 3683.681
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.30
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		: 3643.509
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.52
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		: 3599.844
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113108408 kB
MemAvailable:   117214588 kB
Buffers:          546156 kB
Cached:          4360344 kB
SwapCached:          148 kB
Active:          1113224 kB
Inactive:       16621484 kB
Active(anon):       1552 kB
Inactive(anon): 12872436 kB
Active(file):    1111672 kB
Inactive(file):  3749048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:      12828084 kB
Mapped:           129140 kB
Shmem:             45784 kB
KReclaimable:     170568 kB
Slab:             274796 kB
SReclaimable:     170568 kB
SUnreclaim:       104228 kB
KernelStack:        5056 kB
PageTables:        35440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   14121248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12443648 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:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC018 at 2024-07-20 01:28:40